]> Cypherpunks repositories - gostls13.git/commitdiff
internal/fuzz: log average execs/sec since last log
authorKatie Hockman <katie@golang.org>
Tue, 5 Oct 2021 20:25:06 +0000 (16:25 -0400)
committerKatie Hockman <katie@golang.org>
Wed, 6 Oct 2021 16:11:20 +0000 (16:11 +0000)
This change also fixes a bug with calculating the
total interesting count. When fuzzing with an empty
corpus, the fuzzing engine adds an starting corpus
value in that run in order to start fuzzing. That
meant that the interesting total count was off by one:
it would start at 1, even though the cache was empty.
Added some tests for this as well.

Fixes #48787

Change-Id: I47acf96f0a0797214ebb24a95366d8460bf303bc
Reviewed-on: https://go-review.googlesource.com/c/go/+/354150
Trust: Katie Hockman <katie@golang.org>
Run-TryBot: Katie Hockman <katie@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Jay Conrod <jayconrod@google.com>
Reviewed-by: Roland Shoemaker <roland@golang.org>
src/cmd/go/testdata/script/test_fuzz.txt
src/internal/fuzz/fuzz.go

index c9930aa37e4bb48eb3f37b1ab800dca63f66b975..0b01c2fb43ece1bb7f76d1ede6401060989fef58 100644 (file)
@@ -184,6 +184,20 @@ stdout ok
 ! stdout ^ok
 stdout FAIL
 
+
+# Fuzzing indicates that one new interesting value was found with an empty
+# corpus, and the total size of the cache is now 1.
+go clean -fuzzcache
+go test -fuzz=Fuzz -fuzztime=10000x success_fuzz_test.go
+stdout 'new interesting: 1'
+stdout 'total: 1'
+
+# Fuzzing again with a small fuzztime does not find any other interesting
+# values but still indicates that the cache size is 1.
+go test -fuzz=Fuzz -fuzztime=2x success_fuzz_test.go
+stdout 'new interesting: 0'
+stdout 'total: 1'
+
 -- noop_fuzz_test.go --
 package noop_fuzz
 
index 87f5459afd5575c39e42c3e4761d6a18b81e165e..2c2a365f4c3908406542146051c786e7ed595862 100644 (file)
@@ -556,6 +556,13 @@ type coordinator struct {
        // count is the number of values fuzzed so far.
        count int64
 
+       // countLastLog is the number of values fuzzed when the output was last
+       // logged.
+       countLastLog int64
+
+       // timeLastLog is the time at which the output was last logged.
+       timeLastLog time.Time
+
        // interestingCount is the number of unique interesting values which have
        // been found this execution.
        interestingCount int64
@@ -618,12 +625,13 @@ func newCoordinator(opts CoordinateFuzzingOpts) (*coordinator, error) {
                return nil, err
        }
        c := &coordinator{
-               opts:      opts,
-               startTime: time.Now(),
-               inputC:    make(chan fuzzInput),
-               minimizeC: make(chan fuzzMinimizeInput),
-               resultC:   make(chan fuzzResult),
-               corpus:    corpus,
+               opts:        opts,
+               startTime:   time.Now(),
+               inputC:      make(chan fuzzInput),
+               minimizeC:   make(chan fuzzMinimizeInput),
+               resultC:     make(chan fuzzResult),
+               corpus:      corpus,
+               timeLastLog: time.Now(),
        }
        if opts.MinimizeLimit > 0 || opts.MinimizeTimeout > 0 {
                for _, t := range opts.Types {
@@ -676,6 +684,7 @@ func (c *coordinator) updateStats(result fuzzResult) {
 }
 
 func (c *coordinator) logStats() {
+       now := time.Now()
        if c.warmupRun() {
                runSoFar := c.warmupInputCount - c.warmupInputLeft
                if coverageEnabled {
@@ -684,14 +693,16 @@ func (c *coordinator) logStats() {
                        fmt.Fprintf(c.opts.Log, "fuzz: elapsed: %s, testing seed corpus: %d/%d completed\n", c.elapsed(), runSoFar, c.warmupInputCount)
                }
        } else {
-               rate := float64(c.count) / time.Since(c.startTime).Seconds() // be more precise here
+               rate := float64(c.count-c.countLastLog) / now.Sub(c.timeLastLog).Seconds()
                if coverageEnabled {
-                       interestingTotalCount := len(c.corpus.entries) - len(c.opts.Seed)
+                       interestingTotalCount := int64(c.warmupInputCount-len(c.opts.Seed)) + c.interestingCount
                        fmt.Fprintf(c.opts.Log, "fuzz: elapsed: %s, execs: %d (%.0f/sec), new interesting: %d (total: %d)\n", c.elapsed(), c.count, rate, c.interestingCount, interestingTotalCount)
                } else {
                        fmt.Fprintf(c.opts.Log, "fuzz: elapsed: %s, execs: %d (%.0f/sec)", c.elapsed(), c.count, rate)
                }
        }
+       c.countLastLog = c.count
+       c.timeLastLog = now
 }
 
 // peekInput returns the next value that should be sent to workers.