cprover

goto-programs → analyses Relation

File in goto-programsIncludes file in analyses
remove_function_pointers.cppdoes_remove_const.h
slice_global_inits.cppcall_graph.h