Skip to content

Add Thumb guarded-load test fixture - #181

Open
zardus wants to merge 1 commit into
masterfrom
fixture/thumb-loadg-ite
Open

Add Thumb guarded-load test fixture#181
zardus wants to merge 1 commit into
masterfrom
fixture/thumb-loadg-ite

Conversation

@zardus

@zardus zardus commented Aug 15, 2026

Copy link
Copy Markdown
Member

THIS MESSAGE WAS GENERATED BY AN AUTOMATED PROCESS

This adds a self-authored MIT ARM Thumb fixture for testing guarded-load conversion. The function uses complementary conditional loads that lift to VEX LoadG statements, giving a follow-up AIL regression a real input instead of a runtime-built container.

The ELF is built reproducibly from the included source with Clang and LLD. Its exact recipe, checksum, ABI, symbol, and layout are recorded beside the binary.

Validation: #181 (comment)

@zardus

zardus commented Aug 15, 2026

Copy link
Copy Markdown
Member Author

THIS MESSAGE WAS GENERATED BY AN AUTOMATED PROCESS

Validation record for head b300750352d41827de13d6afd143f1230c7966ea against baseline d35ea74667ba08d089085f841e92fe5e764124f6.

  • Fixture: tests/armel/decompiler/loadg_ite_thumb.elf — SHA-256 1c75e244c948d983c81f93e2c268c286316882df0168856c8c26195c6a8a0d8a, 660 bytes, mode 0755
  • Metadata: tests/armel/decompiler/loadg_ite_thumb.README.md — SHA-256 85ba27ad219cf17f1d8feaa1e6682f05980c534e4eecc38c25a2265a0322f102, mode 0644
  • Source: tests_src/decompiler/loadg_ite_thumb.S — SHA-256 3d46531216a981261213f8edea48614981c16900528723a0b0c4ba4574fae051, mode 0644, SPDX MIT
  • Reproducibility: documented Clang 21.1.8 and LLD 21.1.8 commands — two fresh builds produced identical objects and executables
  • ELF audit: file, readelf, and Capstone — ELF32 little-endian ARM EABI5 soft-float; Thumb entry and symbol loadg_ite_mask; exact ITE EQ plus complementary loads; no relocations, dynamic section, debug paths, build ID, or timestamp
  • Focused: python3 .agents/skills/angr-validate-workspace/scripts/check-test-inputs.py --repositories-root "$ANGR_REPOS_ROOT" --repository binaries — passed in the fixture-only feature shell
  • Full suite: ./.agents/skills/angr-validate-workspace/scripts/run-all-tests.sh --jobs 1 — 16 skill paths and 21 links validated, 9 workspace tests passed, test-input policy passed, and all feature-instance scenarios passed in the fixture-only feature shell
  • Lint/type: not applicable — no Python or workflow files changed

Caveats: binaries has no independent executable suite or pre-commit configuration; code-repository suites were skipped because this feature adopted only binaries.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant