Tai
module Cli : sig ... end
Declares options for the command line interface
module Cli_lexer : sig ... end
Simple lexer for the -tai-domain
command line argument
module Cli_parser : sig ... end
module Domain_builder : sig ... end
Builds the domain used for the analysis, as specified by the expression given to -tai-domain
.
module Main : sig ... end
Main function of the analyser
module Num_compare : sig ... end
Compares classical and SSA numeric abstractions.