Structs§
- Checker
Config - Configuration for checkers
- Leak
Check Result - Leak
Detection Config - Leak detection configuration
- Leak
Indicator - Memory
Access - Memory access information
- Memory
Baseline - Memory baseline for leak detection
- Memory
Leak Checker - Memory leak detection checker
- Memory
Snapshot - Performance
Benchmark - Performance benchmark for specific operation
- Performance
Check Result - Performance
Checker - Performance checker for memory analysis operations
- Performance
Metrics - Performance
Thresholds - Performance thresholds for different operations
- Performance
Violation - Resource
Usage - Resource usage information
- Safety
Checker - Safety checker for memory operations
- Safety
Config - Safety checking configuration
- Safety
Context - Context for safety checking
- Safety
Pattern - Safety violation patterns
- Safety
Requirement - Safety requirement for operations
- Safety
Violation - Safety violation detected
- Thread
Interaction - Thread interaction information
Enums§
- Access
Type - Types of memory access
- Growth
Pattern - Expected memory growth patterns
- Interaction
Type - Types of thread interactions
- Leak
Sensitivity - Leak detection sensitivity levels
- Leak
Severity - Performance
Issue Type - Performance
Status - Risk
Level - Risk assessment levels
- Safety
Property - Safety properties that operations should have
- Safety
Severity - Safety violation severity
- Sync
Mechanism - Synchronization mechanisms
Type Aliases§
- Safety
Detector - Safety detection function type