Enum cwe_checker_lib::analysis::graph::Edge

pub enum Edge<'a> {
    Block,
    Jump(&'a Term<Jmp>, Option<&'a Term<Jmp>>),
    Call(&'a Term<Jmp>),
    ExternCallStub(&'a Term<Jmp>),
    CrCallStub,
    CrReturnStub,
    CallCombine(&'a Term<Jmp>),
    ReturnCombine(&'a Term<Jmp>),
}

The edge type of an interprocedural fixpoint graph.

Where applicable the edge carries a reference to the corresponding jump instruction. For CRCombine edges the corresponding jump is the call and not the return jump. Intraprocedural jumps carry a second optional reference, which is only set if the jump directly follows an conditional jump, i.e. it represents the “conditional jump not taken” branch. In this case the other jump reference points to the untaken conditional jump.

Variants

Block

An edge between the BlkStart and BlkEnd nodes of a basic block.

Jump(&'a Term<Jmp>, Option<&'a Term<Jmp>>)

An edge corresponding to an intraprocedural jump instruction. If the jump is only taken if a previous conditional jump is not taken, then a reference to the untaken conditional jump is also added to the jump label.

Call(&'a Term<Jmp>)

An edge corresponding to a function call instruction. Only generated for calls to functions inside the binary. See the module-level documentation for more information.

ExternCallStub(&'a Term<Jmp>)

An edge corresponding to a call to a function not contained in the binary, i.e. the target is located in a shared object loaded by the binary. The edge goes directly from the callsite to the return-to-site inside the caller.

CrCallStub

An artificial edge. See the module-level documentation for more information.

CrReturnStub

An artificial edge. See the module-level documentation for more information.

CallCombine(&'a Term<Jmp>)

An artificial edge to combine intra- and interprocedural data flows at the callsite of calls. See the module-level documentation for more information.

ReturnCombine(&'a Term<Jmp>)

An artificial edge to combine intra- and interprocedural data flows at the return-to site of calls. See the module-level documentation for more information.

Trait Implementations

impl<'a> Clone for Edge<'a>

fn clone(&self) -> Edge<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Edge<'a>

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

Formats the value using the given formatter.

impl<'a> Display for Edge<'a>

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

Formats the value using the given formatter.

impl<'a> Hash for Edge<'a>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a> PartialEq for Edge<'a>

fn eq(&self, other: &Edge<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<'a> Serialize for Edge<'a>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Copy for Edge<'a>

impl<'a> Eq for Edge<'a>

impl<'a> StructuralEq for Edge<'a>

impl<'a> StructuralPartialEq for Edge<'a>