package mopsa

  1. Overview
  2. Docs

Module Coverage.Hook

Hook header

***************

val name : string

Command-line options

************************

val opt_per_line_coverage : bool ref

Option to show a per-line coverage report

Function coverage

*********************

module RangeSet : sig ... end
type fun_cov = {
  1. fundec : Lang.Ast.c_fundec;
  2. total : RangeSet.t;
  3. reachable : RangeSet.t;
}
val init_fun_cov : Lang.Ast.c_fundec -> fun_cov option

Initialize function coverage

val update_fun_cov : RangeSet.elt -> fun_cov -> fun_cov

Program coverage

********************

type prog_cov = (string, fun_cov) Hashtbl.t
val cov : prog_cov
val init_cov : Lang.Ast.c_fundec list -> unit

Initialize coverage table

val update_cov : MopsaLib.callstack -> RangeSet.elt -> unit

Update coverage table

val print_cov_stats : unit -> unit

Print coverage statistics

Initialization

******************

val init : 'a MopsaLib.ctx -> unit

Events handlers

*******************

val process_range : RangeSet.elt -> ('a, 'b) MopsaLib.man -> 'a Mopsa_analyzer.MopsaLib.Flow.flow -> unit
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 -> 'c -> 'd -> 'e -> 'f -> unit
val on_finish : 'a -> 'b -> unit