-
Notifications
You must be signed in to change notification settings - Fork 2k
Pull requests: github/codeql
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adding queries related to the Solorigate campaign
C#
documentation
#5083
by raulgarciamsft
Contributor
was merged Feb 18, 2021
Loading…
Initial Kotlin support
C#
depends on internal PR
This PR should only be merged in sync with an internal Semmle PR
documentation
Java
Kotlin
#9109
by igfoo
Contributor
was merged May 11, 2022
Loading…
Token validation
C#
documentation
#9693
by raulgarciamsft
Contributor
was merged Sep 15, 2022
Loading…
Add shared basic block library
Actions
Analysis of GitHub Actions
C#
documentation
Ruby
Rust
Pull requests that update Rust code
Swift
#18497
by paldepind
Contributor
was merged Jan 24, 2025
Loading…
C++: Redesign IR dataflow using the shared SSA library
C#
C++
depends on internal PR
This PR should only be merged in sync with an internal Semmle PR
#6825
by MathiasVP
Contributor
was merged Nov 9, 2021
Loading…
C# IR: Framework for translating compiler generated elements
C#
#1845
by ghost
was merged Sep 9, 2019
Loading…
C#: Roslyn-based stub generation
C#
no-change-note-required
This PR does not need a change note
#14095
by hvitved
Contributor
was merged Sep 22, 2023
Loading…
Java: model top 100 JDK APIs
C#
DataFlow Library
documentation
Go
Java
Python
Ruby
Swift
#11572
by jcogs33
Contributor
was merged Dec 20, 2022
Loading…
Dataflow: Add type-based call-edge pruning.
C#
C++
documentation
Go
Java
Python
Ruby
Swift
#13982
by aschackmull
Contributor
was merged Sep 21, 2023
Loading…
C#: Add query for Insecure Direct Object Reference
C#
documentation
ready-for-doc-review
This PR requires and is ready for review from the GitHub docs team.
#13882
by joefarebrother
Contributor
was merged Sep 25, 2023
Loading…
C#: Dotnet Runtime models.
C#
no-change-note-required
This PR does not need a change note
#8600
by michaelnebel
Contributor
was merged May 25, 2022
Loading…
Java: Type based summary models.
C#
Java
no-change-note-required
This PR does not need a change note
#10628
by michaelnebel
Contributor
was merged Nov 10, 2022
Loading…
C#: Remove assembly prefixes from TRAP labels
C#
#4017
by hvitved
Contributor
was merged Sep 4, 2020
Loading…
C#: Overlay extraction support.
C#
documentation
#20425
by michaelnebel
Contributor
was merged Nov 12, 2025
Loading…
Dataflow: Implement call context grouping to improve performance
C#
C++
DataFlow Library
Go
Java
no-change-note-required
This PR does not need a change note
Python
Ruby
Swift
#16456
by aschackmull
Contributor
was merged May 27, 2024
Loading…
Java: Convert all collection and array steps from taint flow to value flow.
C#
C++
documentation
Java
Python
#5751
by aschackmull
Contributor
was merged Jun 3, 2021
Loading…
C#: Negative summaries (ie. no flow through)
C#
DataFlow Library
Go
Java
no-change-note-required
This PR does not need a change note
Ruby
Swift
#9867
by michaelnebel
Contributor
was merged Aug 24, 2022
Loading…
Document models-as-data barriers and barrier guards and add change notes
C#
C++
documentation
Go
Java
JS
Python
ready-for-doc-review
This PR requires and is ready for review from the GitHub docs team.
Ruby
Rust
Pull requests that update Rust code
#21523
by owen-mc
Contributor
was merged Apr 21, 2026
Loading…
C#: Add flow steps for View calls refering to Razor pages
C#
documentation
#14343
by joefarebrother
Contributor
was merged Nov 23, 2023
Loading…
Dataflow: Refactor FlowSummaryImpl to synthesize nodes independently from DataFlow::Node.
C#
DataFlow Library
Go
Java
no-change-note-required
This PR does not need a change note
Python
Ruby
Swift
#13273
by aschackmull
Contributor
was merged Jun 14, 2023
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.