A | |
Analyze |
Analyze TINY programs.
|
Ast |
Type of abstract syntax trees, printing and various functions on them.
|
C | |
Compile |
Compile TINY files to C files.
|
D | |
Dummy |
A dummy abstract domain.
|
I | |
InfInt |
Module to soundly manipulate potentially infinite integers.
|
L | |
Location |
Locations to keep track of position of code in original source file.
|
M | |
Make [PrintResults] | |
MakeRelational [NonRelational] |
Functor to build relational domains from non relational ones
(by pointwise extension).
|
Map [Name] |
Maps from names.
|
Map [Location] |
Maps from locations.
|
N | |
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).
|
P | |
Parse |
Parsing of TINY programs.
|
PrintResults |
Module to print results of analysis and warning about possible
runtime errors and dead code.
|
R | |
Relational |
A module type for relational domains.
|
Report |
Module providing functions to print errors in a way the compilation mode
of Emacs understands while handling verbosity level and locations.
|
S | |
Set [Name] |
Sets of names.
|
U | |
Utils |
Various utility functions.
|