angr · Issues· 721 open

CFGFast reports a decoding error for instructions that decode fine, when the lift budget is clamped below one instruction

Solver timeout silently downgraded to a definitive unsat/error result (error_converter erases ClaripySolverInterruptError)

Decompiling to AIL fails because of DirtyStatement

JumpTableResolver reads a jump table over an index range VSA narrowed incorrectly

test_xchg_filler_decompiles_quickly_cross_insn_opt is flaky under Test with coverage: 60.15 s then 47.80 s on the same commit

CFGFast restarts inside an undecodable instruction on every architecture but x86 and ARM

CFGFast restarts its linear scan inside an instruction it could not decode

TestRustcVersionIdentification downloads FLIRT signatures at test time and fails when the download does

ARM CFG After-Party: ARM, Thumb, and ARM's special ELves

Decompiler: Transitions to non-function starts may be discarded

CFGFast seeds every Mach-O LC_FUNCTION_STARTS entry as a function start without checking the address

CFGFast: an ARM GOT displacement in the literal pool is read as a code pointer

pytest-xdist worker segfaults in Nightly CI's Test macOS (2) on 4 of 7 nights

TestUnicorn::test_similarity_fauxware non-determinism

Decompiler: blocks are dropped from the output and the gotos that target them have no labels