Frama-C:
Plug-ins:
Libraries:

Frama-C API - Special_hooks

Nothing is exported: just register some special hooks for Frama-C.

  • since Beryllium-20090601-beta1