package mopsa

  1. Overview
  2. Docs

Module Coverage.Hook

val name : string
val compare_stmt_andrange : MopsaLib.stmt -> MopsaLib.stmt -> int
val compare_expr_andrange : MopsaLib.expr -> MopsaLib.expr -> int
module ExprSet : sig ... end
module StmtSet : sig ... end
type entry = {
  1. mutable never_analyzed_exprs : ExprSet.t;
  2. mutable never_analyzed_stmts : StmtSet.t;
  3. mutable always_bottom_exprs : ExprSet.t;
  4. mutable always_bottom_stmts : StmtSet.t;
  5. mutable reachable_exprs : ExprSet.t;
  6. mutable reachable_stmts : StmtSet.t;
}
val table : (string, entry) Hashtbl.t
val add_file : string -> Framework.Core.Ast.Stmt.stmt -> unit
val init : 'a -> unit
val is_cur_bottom : ('a, 'b) MopsaLib.man -> 'a Mopsa_analyzer.MopsaLib.Flow.flow -> bool
val on_before_exec : 'a -> MopsaLib.stmt -> ('b, 'c) MopsaLib.man -> 'b Mopsa_analyzer.MopsaLib.Flow.flow -> unit
val on_after_exec : 'a -> 'b -> 'c -> 'd -> 'e -> unit
val on_before_eval : 'a -> 'b -> MopsaLib.expr -> ('c, 'd) MopsaLib.man -> 'c Mopsa_analyzer.MopsaLib.Flow.flow -> unit
val on_after_eval : 'a -> 'b -> MopsaLib.expr -> 'c -> 'd -> 'e -> unit
val is_comment : string -> bool
val on_finish : 'a -> 'b -> unit