Returns true if the given base is a global, or a formal or local of either kf or one of its callers
true
kf
Generate all RTE annotations in the given function.
The emitter used for generating RTE annotations
Generate RTE annotations corresponding to the given exp of the given stmt in the given function.
Get the list of annotations previously emitted by RTE for the given statement.
Iterate over all the functions in the callgraph in reverse order
Remove redundant alarms.
Create a .mli file used by 'make doc' to generate the html documentation of dynamic plug-ins.It takes the path where to create this file as an argument.
Generate RTE annotations corresponding to the given stmt of the given function.