Skip to main content

CallEvidence

Type Alias CallEvidence 

Source
pub type CallEvidence = EvidenceKind;
Expand description

Unified evidence attached to one logical call relation. 一条逻辑调用关系携带的统一证据等级。

Aliased Type§

pub enum CallEvidence {
    Live,
    Source,
    Mir,
    External,
    Unknown,
}

Variants§

§

Live

Confirmed by a live CallTrace observation. 由一次实时 CallTrace 观测确认。

§

Source

Candidate found by source analysis without runtime confirmation. 源码分析找到、未经运行期确认的候选。

§

Mir

Candidate inferred from MIR; it may not have executed. 由 MIR 推断出的候选;它可能并未执行。

§

External

Supplied by an external adapter without a local trace. 由外部适配器提供,没有本地追踪。

§

Unknown

A relation whose producer is not known. 产出方未知的关系。