Repository navigation

Attributes - #247

Merged

sipma merged 15 commits into

static-analysis-engineering:masterfrom

sipma:attributes

Jun 12, 2026

Merged

Attributes#247
sipma merged 15 commits into
static-analysis-engineering:masterfrom
sipma:attributes

Commits on Jun 9, 2026
- CHB: add support for gcc nonnull and format attributes
  sipma
  committed
  bf6266d
- CHB: add codehawk-specific attributes for input of preconditions
  sipma
  committed
  772dfb5
Commits on Jun 10, 2026
Commits on Jun 11, 2026
- CHB: add formatstring capability to type inference
  sipma
  committed
  5a9bc2f
- CHB:ARM: use symbolic function name for exporting signatures
  sipma
  committed
  3fe7500
- CHB: add local delegation for trusted-os-cmd-fmt string
  sipma
  committed
  cfe9351
- CHB: add proof obligation discharge for trusted-os-cmd-fmt-arg-string
  sipma
  committed
  11da189
Commits on Jun 12, 2026
- CHB: violation discharge for tainted string
  sipma
  committed
  24369a9