Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards - #587

Merged

kumarak merged 7 commits into

mainfrom

symex-hardening-and-irgen-fixes

May 1, 2026

Commits on Apr 29, 2026

Byte-granular symbolic shadow: fix width-mismatch reads

pgoodman
and
claude
committed
ecb7025
Shadow read/write: eliminate range/any/list allocation hot-path costs

pgoodman
and
claude
committed
97f6db1
Shadow read: sentinel-based detection eliminates dict lookups on concrete fast path

pgoodman
and
claude
committed
5a13843
Add Path.write_symbolic(addr, value, size=None) public API

pgoodman
and
claude
committed
3dcae7f
Stop swallowing user handler exceptions in engine.py

pgoodman
and
claude
committed
35707e7
Two fixes: GLOBAL_PTR/TLS to_string names + sentinel false-positive

pgoodman
and
claude
committed
3faea2d

Commits on May 1, 2026

Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards

pgoodman
and
claude
committed
fd94fbf