Enum TraceHopRole 

pub enum TraceHopRole {
    ClientBoundary,
    UntrustedSource,
    ModuleSource,
    Intermediate,
    SecretSource,
    Sink,
}

The role a hop plays in a security finding’s structural import trace.

Variants

ClientBoundary

The "use client" boundary file the finding is anchored on.

UntrustedSource

A module that reads an untrusted input source such as request data, where the candidate’s sink argument actually traces back to that read in the same statement (arg-level, the strong intra-module association).

ModuleSource

A module that merely CONTAINS an untrusted-input source somewhere and is import-reachable to the sink module (module-level, issue #885). This is a reachability signal, NOT a proven value path: the specific source value is not shown to reach the sink argument. Labeled distinctly from UntrustedSource so a consumer never reads a module-level hop as a value-flow proof.

Intermediate

An intermediate module on the transitive import path.

SecretSource

The module that reads the secret.

Sink

The syntactic sink site of a catalogue-driven tainted-sink candidate (the single hop the tainted_sink detector emits). Distinct from SecretSource, which is specific to the client-server-leak rule.

Trait Implementations

impl Clone for TraceHopRole

fn clone(&self) -> TraceHopRole

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TraceHopRole

impl Debug for TraceHopRole

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

Formats the value using the given formatter.

impl Eq for TraceHopRole

impl PartialEq for TraceHopRole

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TraceHopRole

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TraceHopRole