Frama-C:
Plug-ins:
Libraries:

Frama-C API - IData

type key
type data
val name : string
val basename : key -> string
val compile : key -> string -> data