Up
–
frama-c-postdominators
»
Postdominators
» Compute
Module
Postdominators.Compute
Register the plugin in the Frama-C kernel. Nothing is exported.