Skip to content
CodeQL

Refine symex pointer unsoundness #7447

Sign in to view logs

Refine symex pointer unsoundness

Refine symex pointer unsoundness #7447

Triggered via pull request December 1, 2025 17:29
@tautschnigtautschnig
synchronize #8780
tautschnig:refine-symex-pointer-unsoundness
Status Success
Total duration 48m 28s
Artifacts –

codeql-analysis.yml

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

Annotations

8 warnings
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 (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 (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.