Previous  Up  Next

Module Summary

module Summary: sig .. end

Summary 

type alarm_category =
| Division_by_zero
| Memory_access
| Index_out_of_bound
| Invalid_shift
| Overflow
| Uninitialized
| Dangling
| Nan_or_infinite
| Float_to_int
| Other 
type coverage = {
   mutable reachable : int;
   mutable dead : int;
} 
type statuses = {
   mutable valid : int;
   mutable unknown : int;
   mutable invalid : int;
} 
type events = {
   mutable errors : int;
   mutable warnings : int;
} 
type alarms = (alarm_category * int) list 
type fun_stats = {
   fun_coverage : coverage;
   fun_alarm_count : alarms;
   fun_alarm_statuses : statuses;
} 
type program_stats = {
   prog_fun_coverage : coverage;
   prog_stmt_coverage : coverage;
   prog_alarms : alarms;
   eva_events : events;
   kernel_events : events;
   alarms_statuses : statuses;
   assertions_statuses : statuses;
   preconds_statuses : statuses;
} 
module FunctionStats: sig .. end
val compute_stats : unit -> program_stats

Compute analysis statistics.

val print_summary : unit -> unit

Prints a summary of the analysis.