luad 0.3.1

luad 0.3.1

Release 0.3.1 built from accepted revision e92a784fdc44c1deb64983ce8449d3a515664d39.

Accepted CI run: https://github.com/dweekly/luad/actions/runs/35419699380

• Fix Lua 5.1 origin analysis exhausting its transfer-step budget on functions that
  contain loops. Loop-carried slots whose value kept growing on every pass now widen to
  control-flow-conflict after a bounded number of block revisits, so every call outside
  the loop keeps its exact origin instead of the whole prototype reporting
  analysis-limit (144 to 17 analysis-limit results across a 260-file firmware corpus).
• Add the project logo and CI, Codecov, release, and dual-license badges to the README.
  Publish measured Linux line coverage from the workspace suite and instrumented CLI
  subprocesses through a separate coverage workflow.

Checksums

9ab816437588398dc0f071b02cb7d5e2f5d89b6005a3fb0284f893997fd8d1b3  evidence-index.json
5e297699463f04e19fda3a867fb9d36d444f848ee0ddf560b6ae383568ec0053  luad-0.3.1-linux-x86_64.tar.gz
39de072b6374203c52f2da3c8e21ac75335c3643e795777def3ce66b2ac2d3d4  luad-0.3.1-macos-aarch64.tar.gz
fbbf6451c1cdd8754f8d6cd1cefa11457d0aec63842427ad72a989594e3e388f  luad-0.3.1.cdx.json

Build Provenance

Artifact attestations can be verified with:

gh attestation verify luad-0.3.1-<platform>.tar.gz --repo dweekly/luad