Expand description
Advanced memory analysis functionality Memory analysis functionality
This module provides advanced analysis capabilities:
- Enhanced memory analysis
- Circular reference detection
- Unsafe FFI tracking
- Unknown memory region analysis
Re-exports§
pub use circular_reference::CircularReference;
pub use circular_reference::CircularReferenceAnalysis;
pub use circular_reference::CircularReferenceNode;
pub use enhanced_memory_analysis::analyze_memory_with_enhanced_features;
pub use enhanced_memory_analysis::EnhancedMemoryAnalyzer;
pub use unsafe_ffi_tracker::UnsafeFFITracker;
pub use variable_relationships::build_variable_relationship_graph;
pub use variable_relationships::GraphStatistics;
pub use variable_relationships::RelationshipType as VarRelationshipType;
pub use variable_relationships::SmartPointerInfo as VarSmartPointerInfo;
pub use variable_relationships::VariableCategory;
pub use variable_relationships::VariableCluster;
pub use variable_relationships::VariableNode;
pub use variable_relationships::VariableRelationship;
pub use variable_relationships::VariableRelationshipGraph;
pub use async_analysis::get_global_async_analyzer;
pub use async_analysis::AsyncAnalyzer;
pub use async_analysis::AsyncPatternAnalysis;
pub use async_analysis::AsyncStatistics;
pub use borrow_analysis::get_global_borrow_analyzer;
pub use borrow_analysis::BorrowAnalyzer;
pub use borrow_analysis::BorrowPatternAnalysis;
pub use closure_analysis::get_global_closure_analyzer;
pub use closure_analysis::ClosureAnalysisReport;
pub use closure_analysis::ClosureAnalyzer;
pub use ffi_function_resolver::get_global_ffi_resolver;
pub use ffi_function_resolver::initialize_global_ffi_resolver;
pub use ffi_function_resolver::FfiFunctionCategory;
pub use ffi_function_resolver::FfiFunctionResolver;
pub use ffi_function_resolver::FfiRiskLevel;
pub use ffi_function_resolver::ResolutionStats;
pub use ffi_function_resolver::ResolvedFfiFunction;
pub use ffi_function_resolver::ResolverConfig;
pub use generic_analysis::get_global_generic_analyzer;
pub use generic_analysis::GenericAnalyzer;
pub use generic_analysis::GenericStatistics;
pub use lifecycle_analysis::get_global_lifecycle_analyzer;
pub use lifecycle_analysis::LifecycleAnalysisReport;
pub use lifecycle_analysis::LifecycleAnalyzer;
pub use memory_passport_tracker::get_global_passport_tracker;
pub use memory_passport_tracker::initialize_global_passport_tracker;
pub use memory_passport_tracker::LeakDetail;
pub use memory_passport_tracker::LeakDetectionResult;
pub use memory_passport_tracker::MemoryPassport;
pub use memory_passport_tracker::MemoryPassportTracker;
pub use memory_passport_tracker::PassportEvent;
pub use memory_passport_tracker::PassportEventType;
pub use memory_passport_tracker::PassportStatus;
pub use memory_passport_tracker::PassportTrackerConfig;
pub use memory_passport_tracker::PassportTrackerStats;
pub use safety_analyzer::DynamicViolation;
pub use safety_analyzer::RiskAssessment;
pub use safety_analyzer::RiskFactor;
pub use safety_analyzer::RiskFactorType;
pub use safety_analyzer::SafetyAnalysisConfig;
pub use safety_analyzer::SafetyAnalysisStats;
pub use safety_analyzer::SafetyAnalyzer;
pub use safety_analyzer::UnsafeReport;
pub use safety_analyzer::UnsafeSource;
pub use unsafe_ffi_tracker::ComprehensiveSafetyReport;
Modules§
- async_
analysis - Async type tracking and analysis
- borrow_
analysis - Borrow checker integration and analysis
- circular_
reference - Circular reference detection for smart pointers
- closure_
analysis - Closure capture analysis for memscope
- enhanced_
ffi_ function_ resolver - Enhanced FFI Function Name Resolution System
- enhanced_
memory_ analysis - Enhanced Memory Analysis Module
- ffi_
function_ resolver - FFI Function Name Resolution System
- generic_
analysis - Generic type analysis for Rust types
- lifecycle_
analysis - Advanced lifecycle analysis for Rust types
- memory_
passport_ tracker - Memory Passport Tracking System for FFI Boundary Memory Management
- safety_
analyzer - Enhanced Safety Analysis for Unsafe Code and FFI Operations
- security_
violation_ analyzer - Security Violation Analysis and Context Export
- unknown_
memory_ regions - Unknown Memory Regions Analysis
- unsafe_
ffi_ tracker - Enhanced memory tracking for unsafe Rust and FFI operations
- variable_
relationships - Variable Relationship Analysis
Structs§
- Analysis
Manager - Main analysis interface - consolidates all analysis functionality
- Comprehensive
Analysis Report - Comprehensive analysis report
Functions§
- analyze_
concurrency_ safety - Analyze concurrency safety - backward compatibility function
- analyze_
fragmentation - Analyze memory fragmentation - backward compatibility function
- analyze_
system_ libraries - Analyze system library usage - backward compatibility function
- get_
global_ unsafe_ ffi_ tracker - Get global unsafe/FFI tracker - backward compatibility function
- get_
unsafe_ ffi_ stats - Get unsafe/FFI statistics - convenience function
- perform_
comprehensive_ analysis - Perform comprehensive analysis - convenience function