Frama-C:
Plug-ins:
Libraries:

Frama-C API - Iterator

Analysis of a function body by iteration over its interpreted automata, built by the functor Iterator.Make.

type state
val compute : save_results:bool -> Callstack.t -> state -> (Partition.key * state) list * Eval.cacheable