diff options
| author | Taras Madan <tarasmadan@google.com> | 2022-03-22 16:05:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-22 16:05:16 +0100 |
| commit | 1ffe9e6099af97bf8bd61cc89e7c5a4e38fc08c7 (patch) | |
| tree | 761f26b61eba13685139b2fb47e90e06afcdbeff /syz-verifier/verifier.go | |
| parent | 01d1c21e1a32ecf82c6836c6cde42aa0d0e8caf9 (diff) | |
syz-verifier: improve statistics (#3038)
s/TotalMismatches/TotalCallMismatches/ for readability.
Add ExecErrorProgs to count failures.
Diffstat (limited to 'syz-verifier/verifier.go')
| -rw-r--r-- | syz-verifier/verifier.go | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/syz-verifier/verifier.go b/syz-verifier/verifier.go index 1ad9eaab9..4bcb0fa8a 100644 --- a/syz-verifier/verifier.go +++ b/syz-verifier/verifier.go @@ -143,6 +143,7 @@ func (vrf *Verifier) TestProgram(prog *prog.Prog) (result []*ExecResult) { for i, env := range steps { stepRes, err := vrf.Run(prog, env) if err != nil { + atomic.AddInt64(&vrf.stats.ExecErrorProgs, 1) return } vrf.AddCallsExecutionStat(stepRes, prog) @@ -217,7 +218,7 @@ func (vrf *Verifier) SetPrintStatAtSIGINT() error { defer os.Exit(0) totalExecutionTime := time.Since(vrf.stats.StartTime).Minutes() - if vrf.stats.TotalMismatches < 0 { + if vrf.stats.TotalCallMismatches < 0 { fmt.Fprint(vrf.statsWrite, "No mismatches occurred until syz-verifier was stopped.") } else { fmt.Fprintf(vrf.statsWrite, "%s", vrf.stats.GetTextDescription(totalExecutionTime)) @@ -314,7 +315,7 @@ func (vrf *Verifier) AddCallsExecutionStat(results []*ExecResult, program *prog. continue } atomic.AddInt64(&vrf.stats.Calls[cr.Call].Mismatches, 1) - atomic.AddInt64(&vrf.stats.TotalMismatches, 1) + atomic.AddInt64(&vrf.stats.TotalCallMismatches, 1) for _, state := range cr.States { if state0 := cr.States[0]; state0 != state { vrf.stats.Calls[cr.Call].States[state] = true |