module F_FctMarks:functor (
M
:
PdgMarks.T_Mark
) ->
PdgMarks.T_Fct
with type t_mark = M.t and type t_call_info = M.t_call_info
F_FctMarks
can be used to propagate marks
It also provides information for an interprocedural analysis.
Alternatively, one can use F_ProjMarks
below.Parameters: |
|