Index of classes


C
cumulative_visitor [Cumulative_analysis]
Frama-C visitor for cumulative analyses: we add a few useful methods.

D
do_it_ [Derefs]
do_it_ [Inputs]
do_it_ [Outputs]
do_it_cached [Cumulative_analysis.Make]
Class that implements a cached version of the above analysis.