goto-analyzer Directory Reference

Directory dependency graph for goto-analyzer:

Files
	build_analyzer.cpp
	build_analyzer.h
	goto_analyzer_languages.cpp
	Language Registration.
	goto_analyzer_main.cpp
	Goto-Analyser Main Module.
	goto_analyzer_parse_options.cpp
	Goto-Analyser Command Line Option Processing.
	goto_analyzer_parse_options.h
	Goto-Analyser Command Line Option Processing.
	show_on_source.cpp
	show_on_source.h
	static_show_domain.cpp
	static_show_domain.h
	static_simplifier.cpp
	static_simplifier.h
	static_verifier.cpp
	static_verifier.h
	taint_analysis.cpp
	Taint Analysis.
	taint_analysis.h
	Taint Analysis.
	taint_parser.cpp
	Taint Parser.
	taint_parser.h
	Taint Parser.
	unreachable_instructions.cpp
	List all unreachable instructions.
	unreachable_instructions.h
	List all unreachable instructions.