package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_cli_bbsse.StatSource

Sourceval ground_truth : bool Stdlib.ref
Sourceval all_predicates : int Stdlib.ref
Sourceval deemed_opaques : int Stdlib.ref
Sourceval true_positives : int Stdlib.ref
Sourceval false_positives : int Stdlib.ref
Sourceval wrong_positives : int Stdlib.ref
Sourceval deemed_clear : int Stdlib.ref
Sourceval true_negatives : int Stdlib.ref
Sourceval false_negatives : int Stdlib.ref
Sourceval deemed_unreachable : int Stdlib.ref
Sourceval true_unreachable : int Stdlib.ref
Sourceval false_unreachable : int Stdlib.ref
Sourceval failure : int Stdlib.ref
Sourceval all_paths : int Stdlib.ref
Sourcetype time = {
  1. mutable sec : float;
}
Sourceval search_time : time
Sourceval eval_time : time
Sourceval total_time : time