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.
|