cprover
|
Files | |
file | goto_analyzer_main.cpp [code] |
Goto-Analyser Main Module. | |
file | goto_analyzer_parse_options.cpp [code] |
Goto-Analyser Command Line Option Processing. | |
file | goto_analyzer_parse_options.h [code] |
Goto-Analyser Command Line Option Processing. | |
file | static_analyzer.cpp [code] |
file | static_analyzer.h [code] |
file | taint_analysis.cpp [code] |
Taint Analysis. | |
file | taint_analysis.h [code] |
Taint Analysis. | |
file | taint_parser.cpp [code] |
Taint Parser. | |
file | taint_parser.h [code] |
Taint Parser. | |
file | unreachable_instructions.cpp [code] |
List all unreachable instructions. | |
file | unreachable_instructions.h [code] |
List all unreachable instructions. | |