Struct UnifiedCallGraph 

pub struct UnifiedCallGraph {
    pub static_calls: Vec<MirCall>,
    pub runtime_calls: Vec<CallEdge>,
}

Static MIR candidates plus calls observed in one live run. 静态 MIR 候选边与一次运行中真实观察到的调用边。

Fields

static_calls: Vec<MirCall>

Calls the static MIR parse proposed, none of them confirmed as executed. 静态 MIR 解析提出的调用，均未确认为已执行。

runtime_calls: Vec<CallEdge>

Calls actually observed during the live run, i.e. confirmed evidence. 实时运行中真正观察到的调用，即已确认的证据。

Implementations

impl UnifiedCallGraph

pub fn new(static_graph: &MirGraph, trace: &CallTrace) -> Self

Pair one static MIR graph with one live trace into a single evidence set; neither input is mutated. 将一个静态 MIR 图与一次实时 trace 配对为一份证据集合；两侧输入都不被修改。

pub fn topology(&self) -> CallGraph

Delegate topology queries to the petgraph-backed adapter. 将拓扑查询委托给基于 petgraph 的适配层。

pub fn relations(&self) -> Vec<CallRelation>

Merge all known edges into one evidence-aware relation list. 将所有已知边合并为一份带证据等级的关系列表。

Live edges win over MIR candidates with the same logical symbols. A static candidate that was not observed remains visible as Mir, so a missing branch is not silently mistaken for a successful call. 逻辑符号相同的边以 Live 证据为准。未被观察到的静态候选仍保留为 Mir，不会把未执行分支误报成已经成功调用。

pub fn render(&self) -> String

Render the merged relations as human-readable lines, one per relation, each carrying its evidence marker, source location, and frame ids. 将合并后的关系渲染为人类可读的行，每行一条，带证据标记、源码位置与帧 id。

Trait Implementations

impl Clone for UnifiedCallGraph

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnifiedCallGraph

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

Formats the value using the given formatter.

impl Default for UnifiedCallGraph

fn default() -> Self

Returns the “default value” for a type.

impl Eq for UnifiedCallGraph

impl PartialEq for UnifiedCallGraph

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for UnifiedCallGraph