Struct DetectionAnalysis 

pub struct DetectionAnalysis { /* private fields */ }

Detection analysis module.

Provides leak, UAF, and safety detection.

Implementations

impl DetectionAnalysis

pub fn from_view(view: &MemoryView) -> Self

Create from view.

pub fn leaks(&self) -> LeakReport

Detect memory leaks.

A leak is an allocation that was never deallocated.

Filter Logic

Uses ptr.is_some() to filter allocations because:

• ptr.is_some(): Heap allocation with a valid pointer → potential leak
• ptr.is_none(): Container/Value type (metadata, not heap memory) → not a leak

Container/Value types represent stack-allocated container metadata (e.g., the Vec struct itself), not heap allocations. Only heap allocations can be memory leaks.

pub fn uaf(&self) -> UafReport

Detect use-after-free.

Analyzes event stream for potential UAF patterns by tracking deallocations and checking for subsequent accesses to the same address.

Note:

• Reallocations are NOT flagged as UAF because realloc on a deallocated pointer is valid behavior (the allocator may reuse the address).
• Metadata events are NOT flagged as UAF because they represent type/container information, not actual memory access.
• Only actual memory access events (read/write operations) on freed memory would indicate UAF, but these are not currently tracked.

Returns an empty report as UAF detection requires runtime memory access tracking which is not implemented in the current architecture.

pub fn safety(&self) -> SafetyReport

Analyze memory safety.

Checks for common safety issues.

pub fn summary(&self) -> DetectionSummary

Get detection summary.