Skip to content

Run 1784151960 ​

Trial run

Warning — trial run. This benchmark was executed with fewer than 10 instances per fuzzer and/or a time budget shorter than 24h. Results from trial runs are meant for debugging purposes and are not valid for extracting conclusions across different fuzzers.

Charts ​

Bugs Over TimeTime To KFinal DistributionPlateau And Late ShareInvariant Overlap (UpSet)Coverage Over TimeCorpus Size Over TimeSeq/s Over TimeTx/s Over TimeGas/s Over TimeCPU Usage Over TimeMemory Usage Over Time

Report ​

Fuzzer Benchmark Report (from bug-count CSV) ​

  • Time budget: 4.00h

Warning — trial run. This benchmark was executed with fewer than 10 instances per fuzzer and/or a time budget shorter than 24h. Results from trial runs are meant for debugging purposes and are not valid for extracting conclusions across different fuzzers.

Executive summary ​

This report is derived solely from cumulative bugs-found over time across repeated runs per fuzzer. It emphasizes robust, distribution-based metrics (median/IQR, success rates, time-to-k) and shape-based behavior (plateau time, late discovery share) instead of single-run time-to-first-bug.

Bugs found at fixed time budgets (median [IQR]) ​

FuzzerRuns1h4h
recon-fuzzer24 [4,4]4 [4,4]
echidna23 [3,3]3 [3,3]
medusa23 [3,3]3 [3,3]
foundry22 [2,2]2 [2,2]

Overall metrics ​

FuzzerAUC (norm)Plateau timeLate discovery shareFinal medianFinal IQR
recon-fuzzer0.9810.10h0.00040.00
echidna0.7310.10h0.00030.00
medusa0.6970.90h0.00030.00
foundry0.4870.10h0.00020.00

Milestones: time-to-k and success rates ​

Fuzzertime-to-1 (p50)time-to-3 (p50)time-to-5 (p50)reach-1 ratereach-3 ratereach-5 rate
recon-fuzzer0.00h0.10hinf100.0%100.0%0.0%
echidna0.10h0.10hinf100.0%100.0%0.0%
medusa0.00h0.75hinf100.0%100.0%0.0%
foundry0.10hinfinf100.0%0.0%0.0%

Throughput metrics (if supported by log format) ​

Values are run-level rates aggregated per fuzzer; n/a indicates the parser could not recover that metric from logs.

FuzzerRunsTx/s runsTx/s p50 [p25,p75]Gas/s runsGas/s p50 [p25,p75]
recon-fuzzer22605.83 [599.18,612.48]287812215.50 [80089474.75,95534956.25]
echidna22766.60 [758.14,775.05]26395898916.50 [5371019812.75,7420778020.25]
medusa224930.50 [4653.75,5207.25]21439923808.00 [1408089811.00,1471757805.00]

Progress metrics from logs (fuzzer-specific proxies) ​

Coverage/corpus values are parsed from each fuzzer's native progress output and are useful for trend context, not strict cross-fuzzer equivalence.

FuzzerRunsSeq/s runsSeq/s p50 [p25,p75]Coverage runsCoverage p50 [p25,p75]Corpus runsCorpus p50 [p25,p75]
recon-fuzzer20n/a245151.00 [45140.50,45161.50]269.50 [61.25,77.75]
echidna20n/a244426.00 [44410.50,44441.50]245.00 [44.50,45.50]
medusa2249.00 [46.50,51.50]25157.00 [5157.00,5157.00]296.00 [96.00,96.00]

Statistical comparison (Mann-Whitney U test) ​

Pairwise Mann-Whitney U tests on end-of-budget bug counts (two-sided). Bonferroni correction applied for 6 comparison(s). Significance level: alpha = 0.05.

Warnings:

  • One or more fuzzers have fewer than 5 runs. Statistical power may be limited.
Fuzzer AFuzzer BMedian AMedian BU statisticp-valuep (corrected)Significant
recon-fuzzerechidna434.00.19391.0000no
recon-fuzzermedusa434.00.19391.0000no
recon-fuzzerfoundry424.00.19391.0000no
echidnamedusa332.01.00001.0000no
echidnafoundry324.00.19391.0000no
medusafoundry324.00.19391.0000no

No pairwise comparison reached significance after Bonferroni correction.

Note: The Mann-Whitney U test assesses whether one fuzzer tends to find more bugs than another across runs. It does not measure effect size or practical importance. Small sample sizes (fewer than 5 runs) reduce statistical power.

Shape-based interpretation (rules of thumb) ​

  • Fast-start / early-plateau: high early checkpoint median + early plateau time + low late discovery share.
  • Steady: moderate AUC, later plateau, consistent improvements across checkpoints, moderate variance.
  • Slow-burn / late-surge: low early checkpoints but high late discovery share and later plateau time; often higher final median.

Limitations ​

  • Core metrics in this section are count-based; use broken_invariants.md / broken_invariants.csv for invariant identities.
  • Severity, exploitability, and root-cause uniqueness cannot be measured directly without richer per-bug metadata.
  • Harness design still affects results; mitigate by keeping harness identical across fuzzers and reporting many runs.

Broken invariants ​

  • Budget filter: 4.00h
  • Events considered: 24 / 24
  • Unique invariants: 6

Warning — trial run. This benchmark was executed with fewer than 10 instances per fuzzer and/or a time budget shorter than 24h. Results from trial runs are meant for debugging purposes and are not valid for extracting conclusions across different fuzzers.

Per-fuzzer totals ​

FuzzerInvariants
echidna3
foundry2
medusa3
recon-fuzzer4

High-level overlap ​

  • Shared by all active fuzzers: 2
  • Exclusive to echidna: 1
  • Exclusive to foundry: 0
  • Exclusive to medusa: 1
  • Exclusive to recon-fuzzer: 2

Grouped invariants ​

Exclusive to echidna (1)
  • AssertionFailed
Exclusive to foundry (0)

None.

Exclusive to medusa (1)
  • testBalanceAtInFuture
Exclusive to recon-fuzzer (2)
  • invariantWithdrawAllTokensShouldNotRevert
  • testReceiveStreamsShouldNotRevert
Shared by all active fuzzers (2)
  • assert_canary
  • invariant_canary

Runner resource usage ​

  • Budget filter: 4.00h
  • Instances with metrics: 8
  • Total samples: 22850

Per-fuzzer medians (across instances) ​

FuzzerInstancesCPU active avg (%)CPU active peak (%)Memory used avg (GiB)Memory used peak (GiB)Memory used avg (%)Memory used peak (%)
echidna296.3998.4420.6122.6467.2573.87
foundry26.2819.090.951.393.094.52
medusa297.9299.021.061.613.465.24
recon-fuzzer296.8299.143.023.249.8610.57

Instance stats ​

InstanceFuzzerSamplesDuration (h)CPU active avg (%)CPU active peak (%)Memory avg (GiB)Memory peak (GiB)Memory avg (%)Memory peak (%)
i-025fd9d2df687b114-echidna-v2.3.1echidna28474.0096.2898.4320.6622.7267.4274.13
i-0592a2881f8ed114c-echidna-v2.3.1echidna28474.0096.5098.4620.5622.5667.0873.61
i-00230e52511d27439-foundry-git-7254e01foundry28603.986.2820.000.951.433.104.67
i-077a124c393326dab-foundry-git-7254e01foundry28603.986.2818.180.951.343.094.37
i-03477a5c027424397-medusa-v1.4.1medusa28614.0097.8699.021.091.603.555.23
i-0d6a3ffe2a05e8a72-medusa-v1.4.1medusa28604.0097.9899.031.031.613.385.25
i-00127288f1fcf2471-recon-v0.4.6recon-fuzzer28574.0097.0799.423.023.249.8610.57
i-095a25e439cc015eb-recon-v0.4.6recon-fuzzer28584.0096.5898.863.023.249.8610.56

Manifest ​

  • scfuzzbench_commit: 3ea47a58c13bdfac9f7021cc1253da5e15795314
  • target_repo_url: https://github.com/scfuzzbench/drips-fuzzing-scfuzzbench
  • target_commit: f3748e16ff50a0a2b38eb348031b6cfdf6aeb361
  • benchmark_type: property
  • instance_type: c6a.4xlarge
  • instances_per_fuzzer: 2
  • timeout_hours: 4
  • aws_region: us-east-1
  • ubuntu_ami_id: ami-052355af2a014bd2c
  • foundry_version: v1.7.1
  • foundry_git_repo: https://github.com/foundry-rs/foundry
  • foundry_git_ref: 7254e0107a696d72b40eea3bbb04d67e7bd1b847
  • echidna_version: 2.3.1
  • medusa_version: 1.4.1
  • recon_version: 0.4.6
  • fuzzer_keys: echidna, foundry, medusa, recon-fuzzer

Artifacts ​

Fully static. Generated in CI from S3 run artifacts.