CBMC

analyses → pointer-analysis Relation

File in src/analysesIncludes file in src/pointer-analysis
goto_rw.cppgoto_program_dereference.h
reaching_definitions.cppvalue_set_analysis_fi.h