Expand description
Enhanced Safety Analysis for Unsafe Code and FFI Operations
This module implements comprehensive safety analysis including:
- UnsafeReport generation with risk assessment
- Risk factor detection and classification
- Confidence scoring for safety violations
- Memory passport tracking for FFI boundaries
Structs§
- Allocation
Pattern - Allocation pattern information
- Dynamic
Violation - Dynamic violation detected during runtime
- Memory
Context - Memory context at time of analysis
- Memory
Passport - Memory passport for tracking cross-FFI boundary memory
- Passport
Event - Lifecycle event in memory passport
- Risk
Assessment - Comprehensive risk assessment for unsafe operations
- Risk
Assessment Engine - Risk assessment engine for evaluating unsafe operations
- Risk
Factor - Individual risk factor with detailed assessment
- Safety
Analysis Config - Configuration for safety analysis
- Safety
Analysis Stats - Statistics for safety analysis
- Safety
Analyzer - Safety analyzer for comprehensive unsafe code analysis
- Unsafe
Report - Comprehensive unsafe operation report
Enums§
- Memory
Pressure Level - Memory pressure levels
- Passport
Event Type - Types of passport events
- Passport
Status - Status of memory passport at program shutdown
- Risk
Factor Type - Enhanced risk factor types for comprehensive safety analysis
- Unsafe
Source - Source information for unsafe operations
- Violation
Type - Types of dynamic violations