Liftingarm - #201

Merged

sipma merged 8 commits into

static-analysis-engineering:masterfrom

sipma:liftingarm

Jul 15, 2025

Commits on Jul 10, 2025

XPR: add simplification rules
sipma
committed
e3bc72d

Commits on Jul 13, 2025

CHB: convert init location into function parameter typing constraint variable
sipma
committed
db219aa
CHB:ARM: no explicit control-flow indication for predicated test instructions
sipma
committed
c935f0d

Commits on Jul 14, 2025

CHB:ARM: allow for predicated test instructions
sipma
committed
1f45851
CHB:ARM: rewrite test expression in jump context
sipma
committed
c45d5f2
CHB:ARM: elevate exit location to full analysis location to capture def-use for return values
sipma
committed
7dd6fc4

Commits on Jul 15, 2025

CHB: update offset handling
sipma
committed
eedecaa
CHB:ARM: update typing rules (in progress)
sipma
committed
17212a2