Retain Swift integer sanitizer qualification blockers - #245
Merged
Merged
Conversation
DavidBakerEffendi
deleted the
dave/swift-sanitizer-qualification-220
branch
September 23, 2026 16:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The independent Swift integer-sanitizer control remains blocked: a local string-holding Int conforming to a module-local Numeric protocol is admitted as a command-injection barrier. Both that wrapper and a plain same-body wrapper also lack their expected flows, so the missing endpoint flows are not attributed solely to the barrier. The canonical sanitizer pair remains unrun.
Key Changes:
Touch Points:
adapters/codeql/swift-sanitizer-v1/queries/evidence/swift-sanitizer-qualification-v1/scripts/run-swift-sanitizer-control.py,scripts/trace-swift-sanitizer-control.pyscripts/verify-swift-sanitizer-control.py,scripts/test-swift-sanitizer-control.py.github/workflows/ci.yml,.gitattributes, Swift qualification documentationValidation: three test methods containing six semantic mutations and four copied-evidence mutations passed, including from a clean Git archive. Previous append, canonical source–sink, canonical entrypoint and pending integration verifiers passed;
cargo fmt --checkand diff checks passed. Extraction completed in 95.389 seconds; the corrected diagnostic queries completed in 11.443/10.925/10.293 seconds under the 60-second/2048 MiB request. Aggregate memory compliance and semantic completeness remain unproven. CI pending.Refs #220 and #215. Both issues remain open; acceptance is incomplete. Append remains independently blocked. No full-corpus execution, scored activation, freeze, or publication.