Module analysis

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 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 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 circular_reference::*;

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_memory_analysis

Enhanced Memory Analysis Module

generic_analysis

Generic type analysis for Rust types

lifecycle_analysis

Advanced lifecycle analysis for Rust types

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

AnalysisManager

Main analysis interface - consolidates all analysis functionality

ComprehensiveAnalysisReport

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