Codepcrefinement - #257

Merged

sipma merged 22 commits into

static-analysis-engineering:masterfrom

sipma:codepcrefinement

Sep 10, 2026

Commits on Aug 22, 2026

CHB: add peek capability to stream wrapper
sipma
committed
8089231
CHB:ARM: block predicated aggregates when part of larger predicate sequence
sipma
committed
ddb9d36
CHB:ARM: add support for predicated tests
sipma
committed
ed1560c

Commits on Aug 24, 2026

CHB:ARM: replace cmd list with threaded cmdstate to support predicated instructions
sipma
committed
4c7528b

Commits on Aug 26, 2026

XPR: simplify composite conjunction
sipma
committed
a795eb3
CHB: fragment membership infrastructure
sipma
committed
d349da5
CHB:ARM: fragment translation for predicated instructions
sipma
committed
c93f85c

Commits on Sep 8, 2026

CHB: recognize struct first field with target type
sipma
committed
37eebc3
CHB: identify struct type if there is no array
sipma
committed
6624c67
XPR: add simplifications
sipma
committed
7338904
CHB:ARM: move translation utilities to separate file
sipma
committed
d63a23c
CHB:ARM: move construction of conditional tests to separate file
sipma
committed
530e0d2
CHB:ARM: move construction of predicated fragments to separate file
sipma
committed
5e144f7
CHB:ARM: update CHIF translation for predicated fragments
sipma
committed
0795353
CHB:ARM: update xdata export for predicated fragments
sipma
committed
d3c1790

Commits on Sep 9, 2026

CHB: add error handling for location context
sipma
committed
156799b
CHB:ARM: add error handling for location context
sipma
committed
0959a54
CHB:MIPS: add error handling for location context
sipma
committed
28d4154
CHB:Power32: add error handling for location context
sipma
committed
26e4f99
CHB:X86: add error handling for location context
sipma
committed
f728a63
CHT: updates for error handling of location context
sipma
committed
8b5fea4
CHB:disable reading back fragment membership
sipma
committed
3358a58