Skip to content
CodeQL

Refine symex pointer unsoundness #7419

Sign in to view logs

Refine symex pointer unsoundness

Refine symex pointer unsoundness #7419

Triggered via pull request November 30, 2025 20:13
@tautschnigtautschnig
synchronize #8780
tautschnig:refine-symex-pointer-unsoundness
Status Success
Total duration 34m 34s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Analyze (python)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
Analyze (python)
Cannot retrieve the full diff because there are too many (300) changed files in the pull request.
Analyze (javascript)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
Analyze (javascript)
Cannot retrieve the full diff because there are too many (300) changed files in the pull request.
Analyze (java)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
Analyze (java)
Cannot retrieve the full diff because there are too many (300) changed files in the pull request.
Analyze (cpp)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
Analyze (cpp)
Cannot retrieve the full diff because there are too many (300) changed files in the pull request.