Enum cwe_checker_lib::analysis::interprocedural_fixpoint_generic::NodeValue

pub enum NodeValue<T: PartialEq + Eq + Clone> {
    Value(T),
    CallFlowCombinator {
        call_stub: Option<T>,
        interprocedural_flow: Option<T>,
    },
}

NodeValue that can either be a single abstract value or a composition of the abstract value computed following an interprocedural call in the graph and of the abstract value before or after the call (depending on the direction of the fixpoint analysis). The CallFlowCombinator then allows for a merge of the values computed over both paths.

The call_stub value will either be transferred from the callsite to the return site in a forward analysis or the other way around in a backward analysis.

The interprocedural_flow value will either be transferred from the end of the called subroutine to the return site in case of a forward analysis or from the beginning of the called subroutine to the callsite in a backward analysis.

Variants

Value(T)

A single abstract value

CallFlowCombinator

Fields

call_stub: Option<T>

The value flowing through the intraprocedural edge of the corresponding call.

interprocedural_flow: Option<T>

The value flowing through the interprocedural edge of the corresponding call, i.e. either between callsite and start of the called function or between end of the called function and the return-to site of the call.

The value saved at artificial combinator nodes.

Implementations

impl<T: PartialEq + Eq + Clone> NodeValue<T>

pub fn unwrap_value(&self) -> &T

Unwraps the contained value for non-combinator nodes. Panics if given a combinator value of an artificial node.

Trait Implementations

impl<T: Clone + PartialEq + Eq + Clone> Clone for NodeValue<T>

fn clone(&self) -> NodeValue<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug + PartialEq + Eq + Clone> Debug for NodeValue<T>

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for NodeValue<T>

where T: Deserialize<'de> + PartialEq + Eq + Clone,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T: PartialEq + PartialEq + Eq + Clone> PartialEq for NodeValue<T>

fn eq(&self, other: &NodeValue<T>) -> 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<T> Serialize for NodeValue<T>

where T: Serialize + PartialEq + Eq + Clone,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Eq + PartialEq + Eq + Clone> Eq for NodeValue<T>

impl<T: PartialEq + Eq + Clone> StructuralEq for NodeValue<T>

impl<T: PartialEq + Eq + Clone> StructuralPartialEq for NodeValue<T>