Skip to content

Cprettyprinter#257

Merged
sipma merged 2 commits into
static-analysis-engineering:masterfrom
sipma:cprettyprinter
Feb 17, 2026
Merged

Cprettyprinter#257
sipma merged 2 commits into
static-analysis-engineering:masterfrom
sipma:cprettyprinter

Conversation

@sipma

@sipma sipma commented Feb 17, 2026

Copy link
Copy Markdown
Contributor

This change adds creation of patch records for which the size of the corresponding stack slot is not known directly from memory accesses, but can be derived from the stack layout.

@sipma
sipma merged commit 0c64d7c into static-analysis-engineering:master Feb 17, 2026
1 check passed
@sipma
sipma deleted the cprettyprinter branch February 17, 2026 23:40
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