Function cwe_checker_lib::analysis::string_abstraction::run

source ·

pub fn run<'a, T: AbstractDomain + HasTop + Eq + From<String> + DomainInsertion>(
    project: &'a Project,
    control_flow_graph: &'a Graph<'a>,
    pointer_inference: &'a PointerInference<'a>,
    config: Config
) -> StringAbstraction<'a, T>

Expand description

Compute the string abstraction and return its results.