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 unreleased(&self) -> Vec<&ActiveAllocation>

Allocations that are still live at the cut.

This is a fact, not a leak verdict: an allocation that was not released inside the capture window is simply still live there.

pub fn leaks(&self) -> LeakReport

Detect memory leaks.

A leak is a conclusion that needs an assessment rule plus evidence about capture completeness (plan §4.5). The view only carries the active set, so no allocation can be assessed here and this returns an empty report.

The historical implementation reported every live allocation as a leak (filter(|a| a.ptr.is_some())), which made any normal program look like it was leaking everything it held (plan A02). Use Self::unreleased when the caller needs the “still live, no release observed” list.

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.