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
Sort

Pull requests list

Shared: Generate more value-preserving flow summaries C# C++ Java no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#19443 opened May 1, 2025 by MathiasVP Review required
Shared: Generate more value-preserving flow summaries C# C++ Java Rust Pull requests that update Rust code
#19433 opened Apr 30, 2025 by MathiasVP Draft
Shared: Generate more value-preserving summaries C# C++ Java Rust Pull requests that update Rust code
#19409 opened Apr 29, 2025 by MathiasVP Draft
C++: Iterator derefs are partial writes C++ no-change-note-required This PR does not need a change note
#18674 opened Feb 4, 2025 by MathiasVP Draft
C++: Fix more FPs in cpp/invalid-pointer-deref C++ no-change-note-required This PR does not need a change note
#14164 opened Sep 7, 2023 by MathiasVP Draft
Swift: Make DoCatchTree more precise
#13114 opened May 10, 2023 by MathiasVP Draft
C++: Fix global flow without an SSA definition C++ no-change-note-required This PR does not need a change note
#12740 opened Apr 2, 2023 by MathiasVP Draft
C++: Fix join order in bbSuccessorEntryReaches C++ no-change-note-required This PR does not need a change note
#8882 opened Apr 26, 2022 by MathiasVP Draft
ProTip! Adding no:label will show everything without a label.