goto-analyzer Directory Reference

Directory dependency graph for goto-analyzer:

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.