Module analysis

Module analysis 

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

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