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

C++: Instantiate model generation library C++ no-change-note-required This PR does not need a change note
#19295 opened Apr 11, 2025 by MathiasVP Loading…
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
C++: Also handle PhiInstructions in Expr::getInstruction C++ no-change-note-required This PR does not need a change note
#13622 opened Jun 29, 2023 by MathiasVP Loading…
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.