Function cwe_checker_lib::analysis::graph::get_program_cfg_with_logs

source · 
pub fn get_program_cfg_with_logs(
    program: &Term<Program>
) -> (Graph<'_>, Vec<LogMessage>)
Expand description

Build the interprocedural control flow graph for a program term with log messages created by building.