Analyze |
Analyze TINY programs.
|
Ast |
Type of abstract syntax trees, printing and various functions on them.
|
Compile |
Compile TINY files to C files.
|
Location |
Locations to keep track of position of code in original source file.
|
Name |
Type for variable names.
|
NonRelational |
A module type for non relational domains and a functor to build
relational domains from them (by pointwise extension).
|
Parse |
Parsing of TINY programs.
|
Relational |
A module type for relational domains.
|
PrintResults |
Module to print results of analysis and warning about possible
runtime errors and dead code.
|
Report |
Module providing functions to print errors in a way the compilation mode
of Emacs understands while handling verbosity level and locations.
|
Utils |
Various utility functions.
|
Dummy |
A dummy abstract domain.
|
InfInt |
Module to soundly manipulate potentially infinite integers.
|