Struct cwe_checker_lib::analysis::backward_interprocedural_fixpoint::GeneralizedContext

pub struct GeneralizedContext<'a, T: Context<'a>> { /* private fields */ }

This struct is a wrapper to create a general fixpoint context out of an interprocedural fixpoint context.

Implementations

impl<'a, T: Context<'a>> GeneralizedContext<'a, T>

pub fn new(context: T) -> Self

Create a new generalized context out of an interprocedural context object.

pub fn get_context(&self) -> &T

Get the inner context object.

Trait Implementations

impl<'a, T: Context<'a>> Context for GeneralizedContext<'a, T>

fn get_graph(&self) -> &Graph<'a>

Get a reference to the underlying graph.

fn merge( &self, val1: &Self::NodeValue, val2: &Self::NodeValue ) -> Self::NodeValue

Merge two values using the merge function from the interprocedural context object.

fn update_edge( &self, node_value: &Self::NodeValue, edge: EdgeIndex ) -> Option<Self::NodeValue>

Backward edge transition function. Applies the transition functions from the interprocedural context object corresponding to the type of the provided edge.

type EdgeLabel = Edge<'a>

the type of edge labels of the underlying graph

type NodeLabel = Node<'a>

the type of node labels of the underlying graph

type NodeValue = NodeValue<<T as Context<'a>>::Value>

The type of the value that gets assigned to each node. The values should form a partially ordered set.