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
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
10.1k
Code
Issues
995
Pull requests
464
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
rust
ql
lib
codeql
on
codeql-cli/v2.25.3
User selector
All users
Datepicker
All time
Commit history
Commits on Apr 16, 2026
Merge pull request #21698 from hvitved/rust/type-inference-index-expr
Show description for ee34e33
hvitved
authored
ee34e33
View commit details
Copy full SHA for ee34e33
View code at this point
Browse repository at this point
Commits on Apr 15, 2026
Merge pull request #21596 from hvitved/rust/data-flow-closure-type
Show description for 0694319
hvitved
authored
0694319
View commit details
Copy full SHA for 0694319
View code at this point
Browse repository at this point
Merge pull request #21679 from hvitved/rust/type-inference-forall-checks
Show description for 609621f
hvitved
authored
609621f
View commit details
Copy full SHA for 609621f
View code at this point
Browse repository at this point
Commits on Apr 14, 2026
Merge pull request #21706 from hvitved/rust/type-inference-perf-fixes
Show description for b749ad6
hvitved
authored
b749ad6
View commit details
Copy full SHA for b749ad6
View code at this point
Browse repository at this point
Merge pull request #21584 from owen-mc/shared/update-mad-comments
Show description for 7458674
owen-mc
authored
7458674
View commit details
Copy full SHA for 7458674
View code at this point
Browse repository at this point
Rust: Avoid expensive regex calls
Show description for d69be77
hvitved
committed
d69be77
View commit details
Copy full SHA for d69be77
View code at this point
Browse repository at this point
Commits on Apr 13, 2026
Rust: Replace special handling of index expressions
hvitved
committed
40eff65
View commit details
Copy full SHA for 40eff65
View code at this point
Browse repository at this point
Commits on Apr 10, 2026
Rust: Check whole blanket constraints, not just the root trait type
hvitved
committed
27f7f74
View commit details
Copy full SHA for 27f7f74
View code at this point
Browse repository at this point
Rust: Replace recursion through `forall` with ranked recursion
hvitved
committed
be329c8
View commit details
Copy full SHA for be329c8
View code at this point
Browse repository at this point
Commits on Apr 9, 2026
Rust: Track closure types in data flow
hvitved
committed
23f0810
View commit details
Copy full SHA for 23f0810
View code at this point
Browse repository at this point
Rust: Proposed improved solution.
geoffw0
committed
e72c116
View commit details
Copy full SHA for e72c116
View code at this point
Browse repository at this point
Commits on Apr 8, 2026
Rust: Fix performance issue with File.fromSource.
geoffw0
committed
95681bf
View commit details
Copy full SHA for 95681bf
View code at this point
Browse repository at this point
Commits on Mar 27, 2026
Replace `branch` with `acceptingValue`
owen-mc
committed
37aac05
View commit details
Copy full SHA for 37aac05
View code at this point
Browse repository at this point
Replace `acceptingvalue` with `acceptingValue`
owen-mc
committed
a7fdc4b
View commit details
Copy full SHA for a7fdc4b
View code at this point
Browse repository at this point
Rust: Infer argument types based on trait bounds on parameters
hvitved
committed
6dc98cf
View commit details
Copy full SHA for 6dc98cf
View code at this point
Browse repository at this point
Rust: Fix columns for neutrals
owen-mc
committed
5451424
View commit details
Copy full SHA for 5451424
View code at this point
Browse repository at this point
Rust: Add neutrals to MaD format explanation
owen-mc
committed
df84266
View commit details
Copy full SHA for df84266
View code at this point
Browse repository at this point
Add barriers and barrier guards to MaD format explanations
owen-mc
committed
10fddc7
View commit details
Copy full SHA for 10fddc7
View code at this point
Browse repository at this point
Commits on Mar 26, 2026
Merge pull request #21564 from hvitved/rust/type-inference-additional-constraints
Show description for c66679c
hvitved
authored
c66679c
View commit details
Copy full SHA for c66679c
View code at this point
Browse repository at this point
Commits on Mar 25, 2026
Update rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll
Show description for 09a2dd4
hvitved
and
Copilot
authored
09a2dd4
View commit details
Copy full SHA for 09a2dd4
View code at this point
Browse repository at this point
Fix QL formatting
owen-mc
committed
f25d745
View commit details
Copy full SHA for f25d745
View code at this point
Browse repository at this point
Rust: Take additional type parameter constraints into account
hvitved
committed
6295f57
View commit details
Copy full SHA for 6295f57
View code at this point
Browse repository at this point
Commits on Mar 24, 2026
Apply suggestions from code review
Show description for bedfe1e
owen-mc
and
geoffw0
authored
bedfe1e
View commit details
Copy full SHA for bedfe1e
View code at this point
Browse repository at this point
Remove unused field
owen-mc
committed
7e6319d
View commit details
Copy full SHA for 7e6319d
View code at this point
Browse repository at this point
Document that MaD barriers for hardcoded credentials apply to all kinds
owen-mc
committed
9323179
View commit details
Copy full SHA for 9323179
View code at this point
Browse repository at this point
Enable MaD barriers for queries with MaD sinks
owen-mc
committed
5762191
View commit details
Copy full SHA for 5762191
View code at this point
Browse repository at this point
Merge pull request #21475 from owen-mc/rust/mad-barriers
Show description for fd8821f
owen-mc
authored
fd8821f
View commit details
Copy full SHA for fd8821f
View code at this point
Browse repository at this point
Commits on Mar 23, 2026
Fix `parameter` -> `argument` in QLDoc
owen-mc
committed
8d16a2b
View commit details
Copy full SHA for 8d16a2b
View code at this point
Browse repository at this point
Update QLDoc in FlowBarrier.qll
owen-mc
committed
97ebc0e
View commit details
Copy full SHA for 97ebc0e
View code at this point
Browse repository at this point
Fix QLDoc formatting
owen-mc
committed
d82fc67
View commit details
Copy full SHA for d82fc67
View code at this point
Browse repository at this point
Commits on Mar 20, 2026
Fix incorrect QLDoc
Show description for 093c279
owen-mc
and
Copilot
authored
093c279
View commit details
Copy full SHA for 093c279
View code at this point
Browse repository at this point
Merge pull request #21464 from hvitved/rust/type-inference-trait-bound-impl-overlap
Show description for f99f26f
hvitved
authored
f99f26f
View commit details
Copy full SHA for f99f26f
View code at this point
Browse repository at this point
Instantiate flow barrier guards from MaD
owen-mc
committed
769b3a6
View commit details
Copy full SHA for 769b3a6
View code at this point
Browse repository at this point
Add `FlowBarrierGuard` to FlowBarrier.qll
owen-mc
committed
7d65bac
View commit details
Copy full SHA for 7d65bac
View code at this point
Browse repository at this point
Misc: fix typos in QLDocs
owen-mc
committed
2f0d328
View commit details
Copy full SHA for 2f0d328
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.