Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
github
/
codeql
Public
Notifications
You must be signed in to change notification settings
Fork
2.1k
Star
10k
Code
Issues
995
Pull requests
449
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Commits
Breadcrumbs
History for
codeql
cpp
ql
lib
semmle
code
cpp
rangeanalysis
on
codeql-cli-2.26.2
User selector
All users
All time
Commit history
Commits on Feb 20, 2026
C++: Fix typo
Show description for 8eed18a
paldepind
and
jketema
authored
8eed18a
View commit details
Copy full SHA for 8eed18a
View code at this point
Browse repository at this point
C++: Improve clarity in comment
Show description for fdbd49a
paldepind
and
MathiasVP
authored
fdbd49a
View commit details
Copy full SHA for fdbd49a
View code at this point
Browse repository at this point
Commits on Feb 16, 2026
C++: Divide nr of bounds between branches for phi nodes
paldepind
committed
d0681c6
View commit details
Copy full SHA for d0681c6
View code at this point
Browse repository at this point
C++: Include the actual number of lower/upper bounds for added context in expected files
paldepind
committed
032c7ea
View commit details
Copy full SHA for 032c7ea
View code at this point
Browse repository at this point
Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
Show description for 84be851
MathiasVP
and
Copilot
authored
84be851
View commit details
Copy full SHA for 84be851
View code at this point
Browse repository at this point
Commits on Feb 12, 2026
C++: Lower the treshold for max number of bounds to 2^29.
MathiasVP
committed
2dc91a5
View commit details
Copy full SHA for 2dc91a5
View code at this point
Browse repository at this point
C++: Also compute type bounds for accesses of an enum type.
MathiasVP
committed
a4dd4f9
View commit details
Copy full SHA for a4dd4f9
View code at this point
Browse repository at this point
Commits on Jan 9, 2026
C++: Improve bounds from inequalities on integers
paldepind
committed
3a13588
View commit details
Copy full SHA for 3a13588
View code at this point
Browse repository at this point
Commits on Jan 7, 2026
C++: Remove `safeFloor` in simple range analysis
paldepind
committed
f5ddb1d
View commit details
Copy full SHA for f5ddb1d
View code at this point
Browse repository at this point
Commits on Nov 14, 2025
C++: Fix typo
Show description for 792ac7a
paldepind
and
Copilot
authored
792ac7a
View commit details
Copy full SHA for 792ac7a
View code at this point
Browse repository at this point
C++: Make sure that nrOfBoundsNEPhi is functional
paldepind
committed
5da73f3
View commit details
Copy full SHA for 5da73f3
View code at this point
Browse repository at this point
Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
Show description for 69e70d7
paldepind
committed
69e70d7
View commit details
Copy full SHA for 69e70d7
View code at this point
Browse repository at this point
Commits on Nov 7, 2025
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
Show description for e7c029a
esteffin
committed
e7c029a
View commit details
Copy full SHA for e7c029a
View code at this point
Browse repository at this point
Commits on Oct 24, 2025
C++: Make small trivial tweaks
paldepind
committed
d1ea1af
View commit details
Copy full SHA for d1ea1af
View code at this point
Browse repository at this point
C++: Simplify boundFromGuard
Show description for 5709964
paldepind
committed
5709964
View commit details
Copy full SHA for 5709964
View code at this point
Browse repository at this point
C++: Use `or` instead of `if`
Show description for 383e6a4
paldepind
committed
383e6a4
View commit details
Copy full SHA for 383e6a4
View code at this point
Browse repository at this point
C++: Add toString for RelationStrictness
Show description for 17e0dec
paldepind
committed
17e0dec
View commit details
Copy full SHA for 17e0dec
View code at this point
Browse repository at this point
Commits on Oct 21, 2025
C++: Address review comments
paldepind
committed
0badcfd
View commit details
Copy full SHA for 0badcfd
View code at this point
Browse repository at this point
Commits on Oct 17, 2025
C++: Apply suggested fixes from review
paldepind
committed
979b05c
View commit details
Copy full SHA for 979b05c
View code at this point
Browse repository at this point
Commits on Oct 16, 2025
C++: Add debug predicates
paldepind
committed
9502d83
View commit details
Copy full SHA for 9502d83
View code at this point
Browse repository at this point
C++: Handle guard phi nodes differently
paldepind
committed
c1f0f3d
View commit details
Copy full SHA for c1f0f3d
View code at this point
Browse repository at this point
C++: Add number of bounds test to simple range analysis
paldepind
committed
8896a72
View commit details
Copy full SHA for 8896a72
View code at this point
Browse repository at this point
C++: Apply widening based on number of bounds measure
paldepind
committed
7eacd87
View commit details
Copy full SHA for 7eacd87
View code at this point
Browse repository at this point
Commits on Oct 15, 2025
C++: Factor out widening of bounds
paldepind
committed
8aaf9f6
View commit details
Copy full SHA for 8aaf9f6
View code at this point
Browse repository at this point
Commits on Sep 18, 2025
C++: Do not use the deprecated predicate in queries.
MathiasVP
committed
d8f34db
View commit details
Copy full SHA for d8f34db
View code at this point
Browse repository at this point
Commits on Sep 3, 2025
C++: Fix some Ql4Ql violations.
michaelnebel
committed
83d53ba
View commit details
Copy full SHA for 83d53ba
View code at this point
Browse repository at this point
Commits on Jun 27, 2025
C++: Merge the location tables
jketema
committed
b4caba7
View commit details
Copy full SHA for b4caba7
View code at this point
Browse repository at this point
Commits on May 23, 2025
Rangeanalysis: Simplify Guards integration.
aschackmull
committed
6200031
View commit details
Copy full SHA for 6200031
View code at this point
Browse repository at this point
Commits on May 21, 2025
Java: Deprecate redundant basic block predicates.
aschackmull
committed
db01828
View commit details
Copy full SHA for db01828
View code at this point
Browse repository at this point
Commits on May 13, 2025
C++: Filter out instructions with incomplete SSA in range analysis.
MathiasVP
committed
9d2eb3d
View commit details
Copy full SHA for 9d2eb3d
View code at this point
Browse repository at this point
Commits on Jan 14, 2025
Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis
Show description for 7196892
paldepind
authored
7196892
View commit details
Copy full SHA for 7196892
View code at this point
Browse repository at this point
C++: QLDoc correction.
geoffw0
committed
9600846
View commit details
Copy full SHA for 9600846
View code at this point
Browse repository at this point
Commits on Jan 13, 2025
C++: Minor refactor and documentation tweak to simple range analysis
paldepind
committed
dcdc439
View commit details
Copy full SHA for dcdc439
View code at this point
Browse repository at this point
C++: Only propagate smallest/largest bound in conditional expressions
paldepind
committed
0c9ee4d
View commit details
Copy full SHA for 0c9ee4d
View code at this point
Browse repository at this point
Commits on Jan 8, 2025
Merge branch 'main' into shared/locations-in-range-analysis
yoff
authored
21e7a0e
View commit details
Copy full SHA for 21e7a0e
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.