Module Tai.Cli

Declares options for the command line interface

type display =
  1. | InputCFG
  2. | InputGraph
  3. | WTO
  4. | WideningEdges
  5. | ConvergencePoint
  6. | OutCFG
  7. | OutGraph
  8. | Summary
  9. | CSV
val out_graph_file : string
val in_graph_file : string
type arguments = {
  1. enabled : bool;
  2. iterative_strategy : bool;
    (*

    Wether or not to use an iterative strategy in wto.ml (stabilize outer loops first)

    *)
  3. program : Ast.Program.graph;
    (*

    The program to analysed, parsed by Frama-C and tranlated to our AST in ast/program.ml

    *)
  4. numeric : (module Single_value_abstraction.Sig.SingleValueAbstraction);
    (*

    The numerical domain to use for the analysis

    *)
  5. domain : Domain_builder.classical_domain;
    (*

    The main analysis domain

    *)
  6. nb_backwards_iterations : int;
    (*

    The number of backward iterations performed when back-propagating expressions in domains/numeric.ml

    *)
  7. display : display -> bool;
    (*

    Should the relevant display be printed

    *)
}
val get_args : unit -> arguments