Frama_c_kernel.Dyncall
val pp_calls :
Stdlib.Format.formatter ->
Cil_types.kernel_function list ->
unit
val get :
?bhv:string ->
Cil_types.stmt ->
(Property.t * Cil_types.kernel_function list) option
Returns None
if there is no specified dynamic call.