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 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

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