Struct OwnershipGraph 

pub struct OwnershipGraph {
    pub nodes: Vec<Node>,
    pub edges: Vec<Edge>,
    pub cycles: Vec<Vec<ObjectId>>,
    pub arc_clone_count: usize,
}

Ownership graph representation

Fields

nodes: Vec<Node>

All nodes in the graph

edges: Vec<Edge>

All edges in the graph

cycles: Vec<Vec<ObjectId>>

Detected cycles

arc_clone_count: usize

Arc clone count for storm detection

Implementations

impl OwnershipGraph

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

Build ownership graph from MemoryView.

Creates an ownership graph from the allocations in a MemoryView. This is a convenience method for the unified analyzer API.

pub fn build<T: AsRef<[OwnershipEvent]>>( passports: &[(ObjectId, String, usize, T)], ) -> Self

Build ownership graph from passports with ownership events

pub fn build_with_analysis<T: AsRef<[OwnershipEvent]>>( passports: &[(ObjectId, String, usize, T)], rustdoc_json_path: Option<&str>, source_code: Option<&str>, ) -> Self

Build ownership graph with four-layer analysis architecture

This method integrates:

1. rustdoc JSON - type information for move vs copy judgment
2. syn AST - parse source code to identify ownership events
3. Static inference - ownership state tracking
4. Runtime tracing (optional)

Arguments

• passports - Object passports with ownership events
• rustdoc_json_path - Optional path to rustdoc JSON for type info
• source_code - Optional source code for AST analysis

pub fn has_arc_clone_storm(&self, threshold: usize) -> bool

Check if Arc clone storm is detected

pub fn rc_clones(&self) -> Vec<&Edge>

Get all Rc clone edges

pub fn arc_clones(&self) -> Vec<&Edge>

Get all Arc clone edges

pub fn diagnostics(&self, arc_storm_threshold: usize) -> OwnershipDiagnostics

Generate diagnostics report for detected issues

pub fn find_root_cause(&self) -> Option<RootCauseChain>

Find root cause chain for memory growth

Trait Implementations

impl Clone for OwnershipGraph

fn clone(&self) -> OwnershipGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OwnershipGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OwnershipGraph

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for OwnershipGraph

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.