Module Dynamic_plugins

module Dynamic_plugins: sig .. end
This module contains all the dynamically registered plugins

module Print_api: sig .. end
module Aorai: sig .. end
module RteGen: sig .. end
module Security_slicing: sig .. end
module Wp: sig .. end
module Report: sig .. end
module Obfuscator: sig .. end
module Semantic_callgraph: sig .. end