Skip to content

RXRE engine v1.6.1 — P0 on dirname (gate 76 passed/2 skipped)

Choose a tag to compare

View all tags
@LexLuthorPrimero LexLuthorPrimero released this 13 Nov 16:53
· 16 commits to main since this release
v1.6.1
0d74f9d

RXRE engine v1.6.1 — P0 on a real binary (2026-11-13).

  • test_discovery_on_dirname.py: discovery runs over /usr/bin/dirname end-to-end (rizin -A + izj-based literal filter from .rodata only). Produces a FUNCTION_CANDIDATE with cfg_blocks>0, rivals from section-scoped literals, _no_profile_imported == True, no semantic content asserted — semantics_status == NOT_DETERMINED.
  • verify gate: 76 passed, 2 skipped (count reported by pytest itself).
  • Manifiesto 60 artefactos; 15 stages.

Epistemic status: P0 partial. Discovery does NOT yet solve the security-critical question — rivals don't select discriminating inputs and no byte-exact reconstruction of dirname is produced. Third-party verification remains NOT_EXECUTED. MIT.

ZIP SHA-256: see rxre-engine-1.6.1.zip.sha256.

Assets 4
Loading