Armoperands#203

Merged

sipma merged 12 commits into

static-analysis-engineering:masterfrom

sipma:armoperands

Aug 5, 2025

Commits on Jul 26, 2025

CHB:ARM: make typing rules configurable
sipma
committed

Commits on Jul 28, 2025

Commits on Jul 29, 2025

CHB:ARM:TYPE: exclude stackpointer from typing rules
sipma
committed

Commits on Jul 30, 2025

CHB: some infrastructure for stackframe management
sipma
committed

Commits on Aug 1, 2025

CHB: initial redesign for handling stack variables
sipma
committed

Commits on Aug 2, 2025

CHB: add more functionality for handling stack variables
sipma
committed