Module enhanced_json_exporter

Module enhanced_json_exporter 

Source
Expand description

Enhanced JSON Exporter - Generates JSON files according to improve.md specifications

This module creates the exact JSON format specified in improve.md:

  1. memory_analysis.json - Main memory analysis with extended fields
  2. lifetime.json - Ownership history and lifecycle events
  3. unsafe_ffi.json - FFI safety analysis and memory passports

Structs§

EnhancedAllocationInfo
Enhanced allocation info with improve.md extensions
EnhancedJsonExporter
Enhanced JSON exporter that creates improve.md compliant output
ExportConfig
Configuration for enhanced JSON export
LifetimeData
Lifetime data for a specific allocation as specified in improve.md
OwnershipEvent
Ownership event as specified in improve.md

Functions§

export_enhanced_json
Convenience function to export enhanced JSON with default settings