Skip to content

Check intermediate analysis to ensure the arguments are a stack address.#276

Merged
sipma merged 1 commit into
static-analysis-engineering:masterfrom
dvorak42:fix_nonstack_intermediates
May 28, 2026
Merged

Check intermediate analysis to ensure the arguments are a stack address.#276
sipma merged 1 commit into
static-analysis-engineering:masterfrom
dvorak42:fix_nonstack_intermediates

Conversation

@dvorak42
Copy link
Copy Markdown
Contributor

@dvorak42 dvorak42 commented May 28, 2026

Not ready for merging, running against regression tests to verify it works.

@dvorak42 dvorak42 changed the title Add check for intermediate analysis to ensure the arguments are a sta… Check intermediate analysis to ensure the arguments are a stack address. May 28, 2026
@dvorak42
Copy link
Copy Markdown
Contributor Author

Codehawk-regression passed.

Copy link
Copy Markdown
Contributor

@sipma sipma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Thank you!

@sipma sipma merged commit 65c6df9 into static-analysis-engineering:master May 28, 2026
1 check passed
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.

2 participants