package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Obfuscator`Source

Obfuscator plug-in.

No function is directly exported: they are registered via Dynamic.register.