Skip to content

Armoperands#203

Merged
sipma merged 12 commits into
static-analysis-engineering:masterfrom
sipma:armoperands
Aug 5, 2025
Merged

Armoperands#203
sipma merged 12 commits into
static-analysis-engineering:masterfrom
sipma:armoperands

Conversation

@sipma

@sipma sipma commented Aug 5, 2025

Copy link
Copy Markdown
Contributor

This pull request includes:

  • a facility to enable/disable typing rules via userdata;
  • an initial redesign for handling stack variables
  • conversion of handling gcc attributes in the Binary analyzer to align with that in the C analyzer
  • improved handling of side-effect values

@sipma
sipma merged commit 32ab47a into static-analysis-engineering:master Aug 5, 2025
24 checks passed
@sipma
sipma deleted the armoperands branch August 5, 2025 05:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant