cprover

goto-analyzer → ansi-c Relation

File in goto-analyzerIncludes file in ansi-c
goto_analyzer_parse_options.cppansi_c_language.h
taint_analysis.cppstring_constant.h