Dyncall (frama-c.Frama_c

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.

val compute : unit -> unit

Forces computation of dynamic calls. Otherwise, they are computed lazily on get. Requires -wp-dynamic.