module Summary: sig
.. end
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 = {
}
type
program_stats = {
}
module FunctionStats: sig
.. end
val compute_stats : unit -> program_stats
Compute analysis statistics.
val print_summary : unit -> unit
Prints a summary of the analysis.