Skip to content
DataFlowBench

Snapshot v0.1.0

Frozen snapshot v0.1.0

  • Freeze ID: c9429463e39a… (SHA-256 of reports/freeze.json)
  • Benchmark revision a0d19c19cd21, release v0.1.0, claim scope release
  • Fixture revision b68d393719bb…

The first immutable DataFlowBench snapshot: the cross-language direct-flow breadth baseline and the 16-template Java propagation kernel, 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.