In section 5.11.5 of the Plugin developper manual : Reference to modules that neither appear in the API nor in Frama-c source. (#466) · Issues · pub / frama-c