Module 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.

module Wto : sig ... end

This modules implements functions to compute a graph's weak topological ordering (WTO). And use these to find a valid set of widening edges. It also contains the Fixpoint module, which performs the main analysis (iterate until fixpoint is reached)