Skip to content

Pull requests: github/codeql

New pull request New
Clear current search query, filters, and sorts
363 Open 14,094 Closed
363 Open 14,094 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Rust: Improve handling of where clauses in type inference and path resolution no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20177 by hvitved was merged Aug 6, 2025 Loading…
4
Rust: Auto-format a type inference test Rust Pull requests that update Rust code
#20174 by hvitved was closed Aug 6, 2025 • Draft
Rust: Remove restriction in PathTypeMention no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20173 by hvitved was merged Aug 6, 2025 Loading…
2
Java: document nullness false negative as qltest Java no-change-note-required This PR does not need a change note
#20171 by aschackmull was merged Aug 5, 2025 Loading…
4
JS: Generate legacy flow steps for all flow summaries JS no-change-note-required This PR does not need a change note
#20169 by hvitved was merged Aug 6, 2025 Loading…
2
Rust: Clean up some odds and ends no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20167 by geoffw0 was merged Aug 5, 2025 Loading…
1
Rust: Fix bad join no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20164 by hvitved was merged Aug 5, 2025 Loading…
2
Java: Assume normal termination in post-dominance. Java Kotlin no-change-note-required This PR does not need a change note
#20163 by aschackmull was merged Aug 5, 2025 Loading…
4
Rust: Fix two bad joins introduced by magic no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20161 by hvitved was merged Aug 4, 2025 Loading…
1
Rust: Add type inference test cases resembling missing call targets in SQLx. no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20160 by geoffw0 was merged Aug 4, 2025 Loading…
2
C#: Include constructors in ValueOrRefType.hasCallable C# no-change-note-required This PR does not need a change note
#20158 by hvitved was merged Aug 5, 2025 Loading…
4
Rust: Add predicate for certain type information no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20155 by paldepind was merged Aug 6, 2025 Loading…
5
C++: Expose SSA definitions from dataflow C++ documentation
#20149 by MathiasVP was merged Aug 1, 2025 Loading…
14
Rust: Add metric for DCA and debug predicates for type that reach the length limit no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20147 by paldepind was merged Aug 4, 2025 Loading…
15
Kotlin: Support 2.2.20-beta2 Kotlin
#20141 by igfoo was merged Jul 31, 2025 Loading…
3
Rust: Improve handling of where clauses in type inference and path resolution no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20140 by paldepind was closed Aug 6, 2025 Loading…
22
JS: Move cors-misconfiguration query from experimental to Security documentation JS
#20139 by Napalys was closed Jul 31, 2025 • Draft
2
Java: Move extractorInformationSkipKey predicate to library pack depends on internal PR This PR should only be merged in sync with an internal Semmle PR Java no-change-note-required This PR does not need a change note
#20134 by IdrissRio was merged Jul 29, 2025 Loading…
2
SSA: Update data flow integration and BarrierGuard interface to use GuardValue. C# C++ DataFlow Library Java JS no-change-note-required This PR does not need a change note Ruby Rust Pull requests that update Rust code
#20132 by aschackmull was merged Jul 30, 2025 Loading…
6
Rust: Implement type inference for closures and calls to closures documentation Rust Pull requests that update Rust code
#20130 by paldepind was merged Jul 30, 2025 Loading…
21
C++: Static variables are initialized to zero or null by compiler C++ documentation
#20129 by codeqlhelper was merged Aug 4, 2025 Loading…
13
Copilot: Remove the formatting instructions, as they're confusing CCR. no-change-note-required This PR does not need a change note
#20128 by aschackmull was merged Jul 28, 2025 Loading…
3
Java: Improve a couple of join-orders Java no-change-note-required This PR does not need a change note
#20127 by aschackmull was merged Aug 5, 2025 Loading…
10
Rust: Replace QL model for Clone with MaD no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20124 by geoffw0 was merged Jul 25, 2025 Loading…
2
Rust: Fix type inference for trait objects for traits with associated types no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#20122 by paldepind was merged Jul 26, 2025 Loading…
7
ProTip! Adding no:label will show everything without a label.