Skip to content

Scanfhandling#242

Merged
sipma merged 6 commits into
static-analysis-engineering:masterfrom
sipma:scanfhandling
Jun 4, 2026
Merged

Scanfhandling#242
sipma merged 6 commits into
static-analysis-engineering:masterfrom
sipma:scanfhandling

Conversation

@sipma
Copy link
Copy Markdown
Contributor

@sipma sipma commented Jun 4, 2026

  • Makes the distinction between input and output format strings
  • Creates side effects for the vararg arguments of scanf-like functions
  • Removes the github actions for the make files
  • Reduces the github dune build workflow to compiler version 5.2.0 only

@sipma sipma merged commit 9fc6ecd into static-analysis-engineering:master Jun 4, 2026
3 checks passed
@sipma sipma deleted the scanfhandling branch June 4, 2026 04:52
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