Expand description
Enhanced JSON Exporter - Generates JSON files according to improve.md specifications
This module creates the exact JSON format specified in improve.md:
- memory_analysis.json - Main memory analysis with extended fields
- lifetime.json - Ownership history and lifecycle events
- unsafe_ffi.json - FFI safety analysis and memory passports
Structs§
- Enhanced
Allocation Info - Enhanced allocation info with improve.md extensions
- Enhanced
Json Exporter - Enhanced JSON exporter that creates improve.md compliant output
- Export
Config - Configuration for enhanced JSON export
- Lifetime
Data - Lifetime data for a specific allocation as specified in improve.md
- Ownership
Event - Ownership event as specified in improve.md
Functions§
- export_
enhanced_ json - Convenience function to export enhanced JSON with default settings