Frama-C API - Obfuscator

Obfuscator plug-in.

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