cprover
/builddir/build/BUILD/cbmc-cbmc-5.9/jbmc/src/janalyzer/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup janalyzer janalyzer
3 
4 # Folder janalyzer
5 
6 `janalyzer/` is a tool performing static analyses on Java
7 programs. It provides a Java front end for many of the static analyses
8 in the \ref analyses directory.