The second follow-up promised in #388, and a fuller answer to your question there about what "version self-report" meant.
Observed: the analyzer artifact carries no build identity we could find — no --version flag, no jar-manifest attribute, and the SARIF reports tool.driver.version: "latest". The project does publish semver releases (v0.4.5, 2026-07-10), but the dated analyzer/* releases we consume have shipped roughly ten times since then, so even a semver string baked into the jar wouldn't identify a build — the identity that would help is the dated release tag or commit, e.g. 2026.08.27.17eb0fe.
What we do today instead: our pin witnesses the SHA-256 of both release assets (opentaint-project-analyzer.jar, opentaint-models.tar.gz) before every run and publishes the release tag only when both match. That works, but it means every downstream consumer has to maintain their own digest table, and a bug report can't name its build from the artifact alone.
Ask: report the dated tag/commit on any (ideally all) of: a --version flag, the jar manifest (Implementation-Version), and SARIF tool.driver.version (or semanticVersion). Since the release tags already encode date + commit, this is presumably just threading the tag into the build.
(The other ergonomic ask from #388 — a non-debug all-methods entry-point flag — is resolved by your explanation there; we're keeping --debug-run-analysis-on-selected-entry-points=* pinned as part of our documented invocation.)
Posted via gh with Claude, who helped with the write-up.
The second follow-up promised in #388, and a fuller answer to your question there about what "version self-report" meant.
Observed: the analyzer artifact carries no build identity we could find — no
--versionflag, no jar-manifest attribute, and the SARIF reportstool.driver.version: "latest". The project does publish semver releases (v0.4.5, 2026-07-10), but the datedanalyzer/*releases we consume have shipped roughly ten times since then, so even a semver string baked into the jar wouldn't identify a build — the identity that would help is the dated release tag or commit, e.g.2026.08.27.17eb0fe.What we do today instead: our pin witnesses the SHA-256 of both release assets (
opentaint-project-analyzer.jar,opentaint-models.tar.gz) before every run and publishes the release tag only when both match. That works, but it means every downstream consumer has to maintain their own digest table, and a bug report can't name its build from the artifact alone.Ask: report the dated tag/commit on any (ideally all) of: a
--versionflag, the jar manifest (Implementation-Version), and SARIFtool.driver.version(orsemanticVersion). Since the release tags already encode date + commit, this is presumably just threading the tag into the build.(The other ergonomic ask from #388 — a non-debug all-methods entry-point flag — is resolved by your explanation there; we're keeping
--debug-run-analysis-on-selected-entry-points=*pinned as part of our documented invocation.)Posted via
ghwith Claude, who helped with the write-up.