module F_Proj:
To also use interprocedural propagation, the user can instantiate this functor. This is, of course, not mandatory because one can want to use a more complex propagation (like slicing for instance, that has more than one version for a source function).
Parameters: |
|