Enum cwe_checker_lib::analysis::graph::Node

pub enum Node<'a> {
    BlkStart(&'a Term<Blk>, &'a Term<Sub>),
    BlkEnd(&'a Term<Blk>, &'a Term<Sub>),
    CallReturn {
        call: (&'a Term<Blk>, &'a Term<Sub>),
        return_: (&'a Term<Blk>, &'a Term<Sub>),
    },
    CallSource {
        source: (&'a Term<Blk>, &'a Term<Sub>),
        target: (&'a Term<Blk>, &'a Term<Sub>),
    },
}

The node type of an interprocedural control flow graph

Each node carries a pointer to its associated block with it. For CallReturnnodes the associated blocks are both the CallSourceblock (containing the call instruction) and the returning-from block (containing the return instruction).

For CallSourcenodes the associated block is the callsite block (source) and the target block of the call.

Basic blocks are allowed to be contained in more than one Sub. In the control flow graph such basic blocks occur once per subroutine they are contained in. For this reason, the nodes also carry a pointer to the corresponding subroutine with them to allow unambigous node identification.

Variants

BlkStart(&'a Term<Blk>, &'a Term<Sub>)

A node corresponding to the start of a basic block, i.e. to the point in time just before the execution of the block.

BlkEnd(&'a Term<Blk>, &'a Term<Sub>)

A node corresponding to the end of the basic block, i.e. to the point in time just after the execution of all Def instructions in the block but before execution of the jump instructions at the end of the block.

CallReturn

Fields

call: (&'a Term<Blk>, &'a Term<Sub>)

The block containing the callsite of the call.

return_: (&'a Term<Blk>, &'a Term<Sub>)

The block that the called functions returns to.

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

CallSource

Fields

source: (&'a Term<Blk>, &'a Term<Sub>)

The block containing the callsite of the call

target: (&'a Term<Blk>, &'a Term<Sub>)

The block containing the target of the call, i.e. the first block of the target function.

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

Implementations

impl<'a> Node<'a>

pub fn get_block(&self) -> &'a Term<Blk>

Get the block corresponding to the node for BlkStart and BlkEnd nodes. panics if called on a CallReturn node.

pub fn get_sub(&self) -> &'a Term<Sub>

Get the sub corresponding to the node for BlkStart and BlkEnd nodes. panics if called on a CallReturn node.

Trait Implementations

impl<'a> Clone for Node<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Node<'a>

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

Formats the value using the given formatter.

impl<'a> Display for Node<'a>

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

Formats the value using the given formatter.

impl<'a> Hash for Node<'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 Node<'a>

fn eq(&self, other: &Node<'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 Node<'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 Node<'a>

impl<'a> Eq for Node<'a>

impl<'a> StructuralEq for Node<'a>

impl<'a> StructuralPartialEq for Node<'a>