Priyanshu KumarandClaude Sonnet 5.5 48afb4a7a1 r2s tests: a pipe a test closes stays open in a spawn in flight, so spawns and the two closing tests take one lock ...

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01456qmqCGpCWJkrg6JUZNNM

2026-10-24 03:12:09 +05:30

..

r2abi

r2abi: a PT_INTERP whose path is unreadable does not seal a range by the interpreter

2026-10-22 12:44:00 +05:30

r2dec

r2dec: the noreturn guard reads a chain of guards in one pass and recurses no deeper than its kept arms

2026-10-24 03:12:04 +05:30

r2engine

Tests: an empty then arm and an exit under a then arm through the engine, and an exit guard on real GCC output for x86-64 and AArch64

2026-10-24 03:12:07 +05:30

r2il

r2il::eval: FloatFloat narrows into binary16 once, ties to even

2026-10-17 01:44:21 +05:30

r2image

r2image: a PE export directory with NumberOfNames 0 keeps its ordinal-only exports

2026-10-22 12:44:00 +05:30

r2rewrite

r2ssa: a temporary named by its instruction, with no merge and no liveness bits (D36)

2026-10-16 05:02:20 +05:30

r2s

r2s tests: a pipe a test closes stays open in a spawn in flight, so spawns and the two closing tests take one lock

2026-10-24 03:12:09 +05:30

r2s-tui

Toolchain: Rust 1.99.0, with the lints it adds fixed rather than allowed

2026-10-14 16:33:56 +05:30

r2sleigh-cli

vendor: x86, ARM, MIPS and RISC-V specifications resynced to Ghidra master 918acd744d (VC, D33)

2026-10-17 01:44:13 +05:30

r2sleigh-lift

vendor: BNDLDX and BNDSTX lift to unmodelled user operations, not a direct access to the operand

2026-10-22 12:44:00 +05:30

r2source

P5: a call's target set is the table captured for that read, not what the slots hold

2026-10-22 17:24:28 +05:30

r2ssa

r2ssa: a test knob states the lane unsoundly, so each defence is shown to hold alone

2026-10-23 16:23:28 +05:30

r2types

P5: an indirect call through a stated read-only table states its target set

2026-10-22 17:24:28 +05:30