diff options
| author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-10-19 08:54:31 +0200 |
|---|---|---|
| committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-19 11:07:51 +0200 |
| commit | 387398baff2e3f37b2fa25a5f3c85a0c9b925e9e (patch) | |
| tree | 6eebc2a2f938eeef927f46886a5000d1626f440f /driver/coverage_tracker.h | |
| parent | fab033324a64a4e02e638cc6c7b243fba1846f61 (diff) | |
| download | jazzer-api-387398baff2e3f37b2fa25a5f3c85a0c9b925e9e.tar.gz | |
Prevent early libFuzzer exits by replaying initial coverage for two runs
Diffstat (limited to 'driver/coverage_tracker.h')
| -rw-r--r-- | driver/coverage_tracker.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/coverage_tracker.h b/driver/coverage_tracker.h index 5461fe8a..5b237de3 100644 --- a/driver/coverage_tracker.h +++ b/driver/coverage_tracker.h @@ -52,6 +52,7 @@ class CoverageTracker : public ExceptionPrinter { static uint8_t *GetCoverageCounters(); static void RecordInitialCoverage(JNIEnv &env); + static void ReplayInitialCoverage(JNIEnv &env); static std::string ComputeCoverage(JNIEnv &env); }; } // namespace jazzer |