Skip to content
DataFlowBench

Snapshot v0.2.0

Frozen snapshot v0.2.0

  • Freeze ID: c8ba343f2db9… (SHA-256 of reports/freeze.json)
  • Benchmark revision 56673b6169f4, release v0.2.0, claim scope release
  • Fixture revision b68d393719bb…

The second immutable DataFlowBench snapshot: the cross-language direct-flow breadth baseline plus the 16-template Java, JavaScript, and Python propagation kernels — now with CodeQL evidence for all three kernel languages — on the taint track under the benchmark-controlled model profile.

Claim

Section titled “Claim”
  • Scope: release
  • Tracks: taint
  • Score tiers: calibration core
  • Model profiles: benchmark-controlled
  • Exclusions: none

Bound evidence

Section titled “Bound evidence”

Freeze manifest: reports/freeze.json — every case, fixture, normalized report, and raw-evidence file is digest-bound; cargo run -- validate-freeze reports/freeze.json re-verifies all of it.

Continue to analyzers, languages, semantic templates, or case evidence.