Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_ast_visitor

Rewriting visitor

module Rewrite : sig ... end

Observing visitor

module Observe : sig ... end