Skip to content

Pull requests: github/codeql

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

. invalid This doesn't seem right
#20197 by whartondylan was closed Aug 10, 2025 Loading…
Java: use java 17 in no-wrapper tests Java
#20194 by redsun82 was merged Aug 8, 2025 Loading…
Java: use java 17 in no-wrapper tests Java
#20189 by redsun82 was merged Aug 8, 2025 Loading…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
C++: Remove redundants casts from IR C++
#20154 by MathiasVP was closed Aug 7, 2025 Draft
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…
Kotlin: Support 2.2.20-beta2 Kotlin
#20141 by igfoo was merged Jul 31, 2025 Loading…
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…
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…
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…
ProTip! Mix and match filters to narrow down what you’re looking for.