Frama-C:
Plug-ins:
Libraries:

Frama-C API - pool

method add : strategy -> unit
method sort : strategy array