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
Shadow read/write: eliminate range/any/list allocation hot-path costs

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

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

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

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

pgoodman
and
claude
committed

Commits on May 1, 2026

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

pgoodman
and
claude
committed