Up
Index of classes
C
cumulative_visitor
[
Cumulative_analysis
]
Frama-C visitor for cumulative analyses: we add a few useful methods.
D
do_it_cached
[
Cumulative_analysis.Make
]
Class that implements a cached version of the above analysis.