Postdominators plugin

Directory plugins

Section Postdominators (in plugins/postdominators)


Compute

Register the plugin in the Frama-C kernel.

Postdominators

Postdominators analysis.

Postdominators_parameters
Print