Function cwe_checker_lib::analysis::forward_interprocedural_fixpoint::create_computation

source · 
pub fn create_computation<'a, T: Context<'a>>(
    problem: T,
    default_value: Option<T::Value>
) -> Computation<GeneralizedContext<'a, T>>
Expand description

Generate a new computation from the corresponding context and an optional default value for nodes.