Struct UnsafeFFITracker 

pub struct UnsafeFFITracker { /* private fields */ }

Enhanced memory tracker for unsafe/FFI operations

Implementations

impl UnsafeFFITracker

pub fn new() -> Self

Create a new enhanced tracker

pub fn track_unsafe_allocation( &self, ptr: usize, size: usize, unsafe_location: String, ) -> TrackingResult<()>

Track an unsafe Rust allocation

pub fn track_ffi_allocation( &self, ptr: usize, size: usize, library_name: String, function_name: String, ) -> TrackingResult<()>

Track an FFI allocation

pub fn track_enhanced_deallocation(&self, ptr: usize) -> TrackingResult<()>

Track a deallocation with safety checks

pub fn record_boundary_event( &self, ptr: usize, event_type: BoundaryEventType, from_context: String, to_context: String, ) -> TrackingResult<()>

Record a cross-boundary event

pub fn create_or_update_passport( &self, ptr: usize, operation: &str, context: &str, ) -> TrackingResult<()>

Create or update memory passport for cross-boundary tracking

pub fn update_ownership( &self, ptr: usize, new_owner_context: String, new_owner_function: String, ) -> TrackingResult<()>

Update ownership information for a memory allocation

pub fn validate_passport(&self, ptr: usize) -> TrackingResult<bool>

Validate memory passport integrity

pub fn get_safety_violations(&self) -> TrackingResult<Vec<SafetyViolation>>

Get all safety violations

pub fn get_enhanced_allocations( &self, ) -> TrackingResult<Vec<EnhancedAllocationInfo>>

Get enhanced allocations

pub fn detect_leaks( &self, threshold_ms: u128, ) -> TrackingResult<Vec<SafetyViolation>>

Detect potential memory leaks

impl UnsafeFFITracker

pub fn register_c_library( &self, library_name: String, library_path: Option<String>, library_version: Option<String>, ) -> TrackingResult<()>

Register a C library for tracking

pub fn track_c_function_call( &self, library_name: &str, function_name: &str, allocation_size: usize, execution_time_ns: u64, ) -> TrackingResult<()>

Track a C function call with detailed information

pub fn install_enhanced_libc_hook( &self, function_name: String, hook_method: HookInstallationMethod, ) -> TrackingResult<()>

Install an enhanced LibC hook

pub fn create_and_register_passport( &self, ptr: usize, origin_context: &str, security_clearance: SecurityClearance, ) -> TrackingResult<String>

Create and register a memory passport for cross-boundary tracking

pub fn stamp_passport( &self, ptr: usize, operation: &str, location: &str, authority: &str, ) -> TrackingResult<()>

Update memory passport with new stamp

pub fn transfer_passport_ownership( &self, ptr: usize, new_owner_context: &str, new_owner_function: &str, ) -> TrackingResult<()>

Transfer memory passport ownership

pub fn revoke_passport(&self, ptr: usize, reason: &str) -> TrackingResult<()>

Revoke a memory passport (when memory is freed)

pub fn get_c_library_stats( &self, ) -> TrackingResult<HashMap<String, CLibraryInfo>>

Get C library statistics

pub fn get_libc_hook_info( &self, ) -> TrackingResult<HashMap<String, EnhancedLibCHookInfo>>

Get LibC hook information

pub fn get_memory_passports( &self, ) -> TrackingResult<HashMap<usize, MemoryPassport>>

Get memory passport information

pub fn analyze_cross_boundary_risks( &self, ) -> TrackingResult<Vec<SafetyViolation>>

Analyze cross-boundary risks with detailed assessment

pub fn process_boundary_event( &self, ptr: usize, event_type: BoundaryEventType, from_context: &str, to_context: &str, transfer_size: usize, ) -> TrackingResult<BoundaryEventAnalysis>

Process boundary events with comprehensive analysis

pub fn get_boundary_event_statistics( &self, ) -> TrackingResult<BoundaryEventStatistics>

Get comprehensive boundary event statistics

pub fn get_stats(&self) -> UnsafeFFIStats

Get statistics for unsafe and FFI operations

pub fn integrate_with_safety_analyzer( &self, safety_analyzer: &SafetyAnalyzer, ) -> TrackingResult<()>

Integrate with SafetyAnalyzer for enhanced reporting

pub fn integrate_with_passport_tracker( &self, passport_tracker: &MemoryPassportTracker, ) -> TrackingResult<()>

Integrate with MemoryPassportTracker for FFI boundary tracking

pub fn perform_comprehensive_safety_analysis( &self, ) -> TrackingResult<ComprehensiveSafetyReport>

Perform comprehensive safety analysis using integrated components

Trait Implementations

impl Default for UnsafeFFITracker

fn default() -> Self

Returns the “default value” for a type.