Skip to content

Latest commit

 

History

History

goto-analyzer

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
CMakeLists.txt
CMakeLists.txt
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
build_analyzer.cpp
build_analyzer.cpp
 
 
build_analyzer.h
build_analyzer.h
 
 
goto_analyzer_languages.cpp
goto_analyzer_languages.cpp
 
 
goto_analyzer_main.cpp
goto_analyzer_main.cpp
 
 
goto_analyzer_parse_options.cpp
goto_analyzer_parse_options.cpp
 
 
goto_analyzer_parse_options.h
goto_analyzer_parse_options.h
 
 
module_dependencies.txt
module_dependencies.txt
 
 
show_on_source.cpp
show_on_source.cpp
 
 
show_on_source.h
show_on_source.h
 
 
static_show_domain.cpp
static_show_domain.cpp
 
 
static_show_domain.h
static_show_domain.h
 
 
static_simplifier.cpp
static_simplifier.cpp
 
 
static_simplifier.h
static_simplifier.h
 
 
static_verifier.cpp
static_verifier.cpp
 
 
static_verifier.h
static_verifier.h
 
 
taint_analysis.cpp
taint_analysis.cpp
 
 
taint_analysis.h
taint_analysis.h
 
 
taint_parser.cpp
taint_parser.cpp
 
 
taint_parser.h
taint_parser.h
 
 
unreachable_instructions.cpp
unreachable_instructions.cpp
 
 
unreachable_instructions.h
unreachable_instructions.h
 
 

README.md

\ingroup module_hidden \defgroup goto-analyzer goto-analyzer

Folder goto-analyzer

goto-analyzer/ is a tool performing static analyses on goto programs. It provides the front end for many of the static analyses in the \ref analyses directory.