Stackframe - #225

Merged

sipma merged 21 commits into

static-analysis-engineering:masterfrom

sipma:stackframe

Jan 24, 2026

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

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