Function cwe_checker_lib::analysis::graph::get_program_cfg

source · 
pub fn get_program_cfg(program: &Term<Program>) -> Graph<'_>
Expand description

Build the interprocedural control flow graph for a program term.