Frama-C:
Plug-ins:
Libraries:

Frama-C API - Names

  • since Oxygen-20120901
val self : State.t
val get_prop_name_id : identified_property -> string

returns a unique name identifying the property. This name is built from the basename of the property.

val get_prop_basename : ?truncate:int -> identified_property -> string

returns the basename of the property.