package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Signature of a stateless hook

val name : string

Name of the hook

val init : 'a Context.ctx -> unit

Initialization of the hook

val on_before_exec : Route.route -> Ast.Stmt.stmt -> ('a, 'a) Manager.man -> 'a Flow.flow -> unit

Event fired before an exec is performed

val on_after_exec : Route.route -> Ast.Stmt.stmt -> ('a, 'a) Manager.man -> 'a Flow.flow -> 'a Post.post -> unit

Event fired after an exec is performed

val on_before_eval : Route.route -> Ast.Semantic.semantic -> Ast.Expr.expr -> ('a, 'a) Manager.man -> 'a Flow.flow -> unit

Event fired before an eval is performed

val on_after_eval : Route.route -> Ast.Semantic.semantic -> Ast.Expr.expr -> ('a, 'a) Manager.man -> 'a Flow.flow -> 'a Eval.eval -> unit

Event fired after an eval is performed

val on_finish : ('a, 'a) Manager.man -> 'a Flow.flow -> unit

Event fired after the analysis has terminated

OCaml

Innovation. Community. Security.