Public bug reports

Every bug we have reported in public, with its fix where there is one: 212 reports in 78 projects, 134 of them fixed upstream, in 48 projects. In 66 reports the maintainers thanked or credited us. Bugs we have not reported yet, and bugs we reported privately, are not on this page. It lists the public reports of the bug record, with the same numbers, and is updated with it; statuses are as of 3 November 2026.

  • 212 public reports
  • 134 fixed
  • 78 open
  • 78 projects with public reports

In the maintainers’ words

“Great catch, thank you!”

Mathias Doenitz, author of spray and borer, on borer#829

“Your diagnosis of this one looks right, and your fix makes sense.”

“Can you maybe share how did you find & generate these bugs?”

Adam Warski, co-founder of SoftwareMill, on sttp#2880

Found-by: Mike Murunov [genproof.com]

in an FFmpeg commit by Michael Niedermayer, 748ed2c

Martin Odersky merged one of the fixes into Scala 3 (scala3#26047), and Wilson Snyder merged our own fix into Verilator (verilator#8354).

Linux kernel (WireGuard) ★ 254k

Playwright ★ 99k

Redis ★ 77k

Cypress ★ 51k

Bruno ★ 48k

curl ★ 43k

Selenium ★ 35k

x-algorithm ★ 34k

k6 ★ 32k

nginx ★ 32k

OpenSSL ★ 31k

Locust ★ 28k

zstd ★ 28k

Appium ★ 22k

Ajv ★ 15k

coturn ★ 15k

Pillow ★ 14k

Robot Framework ★ 12k

F Prime ★ 12k

Karate ★ 9k

WireMock ★ 7k

zlib ★ 7k

goja ★ 7k

REST Assured ★ 7k

Gatling ★ 7k

Scala 3 ★ 6k

Nanopb ★ 6k

Verilator ★ 4k

Icarus Verilog ★ 4k

Idris 2 ★ 3k

Circe ★ 3k

fs2 ★ 2k

leptonica ★ 2k

Monocle ★ 2k

sttp ★ 2k

Tapir ★ 1k

Caliban ★ 993

quicklens ★ 852

Laminar ★ 839

Kyo ★ 822

Magnolia ★ 800

uPickle ★ 768

Airframe ★ 666

DeepGEMM-Ascend ★ 631

Iron ★ 562

Ox ★ 529

MUnit ★ 472

humanize ★ 379

gguf-tools ★ 373

Narya ★ 315

Gears ★ 306

Hedgehog ★ 268

ScalaSQL ★ 259

PPrint ★ 248

borer ★ 242

fansi ★ 237

dotty-cps-async ★ 194

Hearth ★ 166

wvlet ★ 158

onnx-scala ★ 151

yaes ★ 140

workflows4s ★ 131

Soundness ★ 114

flink-scala-api ★ 113

quote4 ★ 111

ldbc ★ 110

Scalus ★ 106

geny ★ 98

decisions4s ★ 85

etl4s ★ 81

DRAT-trim ★ 73

record4s ★ 68

snapshot4s ★ 68

strymonas ★ 56

Unwrapped ★ 40

Pillars ★ 33

lean-eval-leaderboard ★ 29

Aero