SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries Artifacts
Authors: Sun, Chenyang, Chen, Wei, Zhang, Bowen, Zhang, Charles
Type: Software
Published: 2026-08-03

<p>This is the artifact package for the OOPSLA 2026 paper on SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries.</p>
<p><span class="font-semibold">Contents</span></p>
<ul class="list-inside list-disc whitespace-normal [li_&]:pl-6">
<li class="py-1 [&>p]:inline"><code class="md-clickable-code md-inline-path-filename-like"><span class="md-inline-path-filename">oopsla2026-artifact-smoke.tar.gz</span></code> — Docker image (<code class="">oopsla2026-artifact:smoke</code>) with the pre-built <code class="">cb-check</code> binary, data, and scripts.</li>
<li class="py-1 [&>p]:inline"><code class="md-clickable-code md-inline-path-filename-like"><span class="md-inline-path-filename">oopsla2026-artifact-src.tar.gz</span></code> — Source-tree snapshot: README, drivers, scripts, Dockerfile, bitcode/indices for the smoke benchmark, the binary, and reference <code class="md-inline-path-filename-like"><span class="md-inline-path-filename">SUMMARY.txt</span></code> files.</li>
</ul>
<p><span class="font-semibold">Important limitations</span></p>
<ul class="list-inside list-disc whitespace-normal [li_&]:pl-6">
<li class="py-1 [&>p]:inline">The analyzer binary is proprietary; <span class="font-semibold">source code is not included</span>.</li>
<li class="py-1 [&>p]:inline">This package is <span class="font-semibold">query-only</span> with <span class="font-semibold">pre-built indices</span>. Smoke evaluates one SPEC2017 benchmark (pop2) on the NPD query set; it does not rebuild indices or reproduce the full nine-project paper tables end-to-end.</li>
</ul>
<p><span class="font-semibold">Quick start (reviewers — Docker, recommended)</span><br>See <code class="md-inline-path-filename-like"><span class="md-inline-path-filename">README.md</span></code> inside the source tarball for full instructions, claim mapping, and expected trends.</p>
<div class="composer-message-codeblock">
<div class="ui-code-block">
<div class="ui-code-block-content">
<div class="ui-scroll-area">
<div class="ui-scroll-area__viewport">
<div class="ui-scroll-area__content">
<div class="ui-default-code ui-code-block-default-code">
<div class="ui-default-code__content">
<div class="ui-default-code__line">
<div class="ui-default-code__line-content"># Prefer: load the gzipped image directly (Docker 20+), or:</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content"># gunzip -c oopsla2026-artifact-smoke.tar.gz | docker load</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">docker load -i oopsla2026-artifact-smoke.tar.gz</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content"> </div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">mkdir -p workspaces</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">docker run --rm -v "$PWD/workspaces:/artifact/workspaces" \</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">oopsla2026-artifact:smoke ./scripts/kick-the-tires.sh</div>
</div>
</div>
</div>
</div>
</div>
<div class="ui-scroll-area__scrollbar">
<div class="ui-scroll-area__thumb"> </div>
</div>
</div>
</div>
</div>
</div>
<p>Please verify the smoke tarball MD5 is <code class="md-inline-variable-like">ebe0d2fb54e76850583dfaed0fcb486d</code> (~277 MB) before loading; an earlier upload was truncated.</p>
<p><span class="font-semibold">Bare-metal alternative</span> (from the source tarball): on Ubuntu/Debian, install <code class="md-inline-path-filename-like"><span class="md-inline-path-filename">libgflags2.2</span></code> (and <code class="md-inline-variable-like">libatomic1</code> if needed), then:</p>
<div class="composer-message-codeblock">
<div class="ui-code-block">
<div class="ui-code-block-content">
<div class="ui-scroll-area">
<div class="ui-scroll-area__viewport">
<div class="ui-scroll-area__content">
<div class="ui-default-code ui-code-block-default-code">
<div class="ui-default-code__content">
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">tar -xzf oopsla2026-artifact-src.tar.gz</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">cd oopsla2026-artifact</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">source scripts/env.sh</div>
</div>
<div class="ui-default-code__line">
<div class="ui-default-code__line-content">./scripts/kick-the-tires.sh</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<p>Full smoke (six configurations × 200 queries): omit the kick-the-tires command (image default), or run <code class="md-inline-path-filename-like"><span class="md-inline-path-prefix">./scripts/</span><span class="md-inline-path-filename">smoke.sh</span></code>. Expect roughly 0.5–1 hour on a machine similar to our reference host; allow up to 1–2 hours with fewer cores.</p>
<p><span class="font-semibold">Intended AE badges:</span> Artifact Available; Artifact Evaluated — Functional.</p>