module Analysis: sig .. end
Analyse a program statically with abstract interpretation
Analyse a program statically with abstract interpretation
val lastStat : Types.generic_stat_loc
Analyse a program and write results of this analysis or exceptions encountered
l The initial location of programprogram The program already located to analyse
Returns unit
val analyseProgram : Types.loc * (Types.global_statement * Types.loc) list -> unit
Analyse a program and write results of this analysis or exceptions encountered
l The initial location of programprogram The program already located to analyse
Returns unit