Repository navigation

Stackframe - #225

Merged

sipma merged 21 commits into

static-analysis-engineering:masterfrom

sipma:stackframe

Jan 24, 2026

Merged

Stackframe#225
sipma merged 21 commits into
static-analysis-engineering:masterfrom
sipma:stackframe

Commits on Dec 27, 2025
- CHB: utility function for extracting stack variable offsets
  sipma
  committed
  eb8e876
- CHB: add more memory access recording
  sipma
  committed
  c2ec5cc
Commits on Jan 5, 2026
- CHB:ARM:stack offsets of local variables should be negative
  sipma
  committed
  e68a649
- CHB:remove actual structname from summary
  sipma
  committed
  48944e4
- CHB:add error handling
  sipma
  committed
  62faa59
- CHB:add to global memory access recording (incomplete)
  sipma
  committed
  471448c
Commits on Jan 6, 2026
- CHB:include stackslots for arguments and fix tests
  sipma
  committed
  b0d4e47
- CHB: allow for register spill/restore in trampoline
  sipma
  committed
  99ae5b5
Commits on Jan 13, 2026
- CHB:ARM: give priority to declared stack types
  sipma
  committed
  20c7d8a
Commits on Jan 20, 2026
- CHB:ARM: exclude char pointer from conversion
  sipma
  committed
  2389c6b
- CHB:ARM: add diagnostics to operand
  sipma
  committed
  cbb1c98
- CHB: add diagnostics
  sipma
  committed
  b2a6c69
Commits on Jan 21, 2026
- CHB: remove __pderef__ designation
  sipma
  committed
  dcad2ac
- CHB: resolve basevar type
  sipma
  committed
  11510fd
- CHB:ARM: restore provided types in StoreRegister
  sipma
  committed
  d16c791
Commits on Jan 22, 2026
- CHB: add enum to is_scalar
  sipma
  committed
  844b714
- CHB: add diagnostics
  sipma
  committed
  8f9eeb3
- CHB: resolve type in offset conversion
  sipma
  committed
  83ee461
- CHB: generalize offset handling
  sipma
  committed
  075b061
Commits on Jan 23, 2026
- CHB: correct for stackpointer wrap-around
  sipma
  committed
  c402f7f
- CHB:ARM: restore conversion in arguments
  sipma
  committed
  c805589