Repository navigation

Codepcrefinement - #257

Merged

sipma merged 22 commits into

static-analysis-engineering:masterfrom

sipma:codepcrefinement

Sep 10, 2026

Merged

Codepcrefinement#257
sipma merged 22 commits into
static-analysis-engineering:masterfrom
sipma:codepcrefinement

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

Commits

Commits on Aug 22, 2026

Commits on Aug 24, 2026

Commits on Aug 26, 2026

Commits on Sep 8, 2026

Commits on Sep 9, 2026