Skip to content

Pull requests: github/codeql

New pull request New
Clear current search query, filters, and sorts
16 Open 838 Closed
16 Open 838 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

Bulk MAD generator: Support databases from DCA runs C++ no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#19627 by MathiasVP was merged May 30, 2025 Loading…
26
C++: Generate flow summaries for curl/curl C++ documentation
#19596 opened May 27, 2025 by MathiasVP • Draft
7
C++: Add missing ReadFileEx flow summary C++ no-change-note-required This PR does not need a change note
#19595 by MathiasVP was merged May 27, 2025 Loading…
8
C++: Add more Win32 flow sources C++ documentation
#19591 by MathiasVP was merged May 27, 2025 Loading…
12
Shared/C++: Handle non-standard return values in MaD flow sources/sinks C++ DataFlow Library no-change-note-required This PR does not need a change note
#19569 by MathiasVP was merged May 23, 2025 Loading…
9
C++: Make node.asExpr() instanceof ArrayAggregateLiteral satisfiable C++ documentation
#19511 by MathiasVP was merged May 19, 2025 Loading…
5
C++: Make node.asExpr() instanceof ClassAggregateLiteral satisfiable C++ documentation
#19501 by MathiasVP was merged May 16, 2025 Loading…
3
C++: Update static call target resolution semantics in dataflow C++ no-change-note-required This PR does not need a change note
#19500 by MathiasVP was merged May 16, 2025 Loading…
5
C++: Exclude tests in model generation C++ no-change-note-required This PR does not need a change note
#19498 by MathiasVP was merged May 16, 2025 Loading…
5
C++: Add summary models for openssl and sqlite C++ documentation
#19492 by MathiasVP was merged May 16, 2025 Loading…
5
C++: Fix infinite range analysis loop on invalid SSA C++ documentation
#19477 by MathiasVP was merged May 13, 2025 Loading…
11
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 by MathiasVP was merged May 14, 2025 Loading…
31
Shared: Generate more value-preserving flow summaries C# C++ Java Rust Pull requests that update Rust code
#19433 by MathiasVP was merged May 14, 2025 • 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
Shared: Use isSink/1 in PropagateFlowConfig no-change-note-required This PR does not need a change note
#19404 by MathiasVP was merged Apr 29, 2025 Loading…
2
C++: Fix missing summaries in MaD generation C++ no-change-note-required This PR does not need a change note
#19383 by MathiasVP was merged Apr 28, 2025 Loading…
3
C++: Instantiate model generation library C++ no-change-note-required This PR does not need a change note
#19295 by MathiasVP was merged Apr 23, 2025 Loading…
34
C++: Prepare for model generation adoption C++ no-change-note-required This PR does not need a change note
#19274 by MathiasVP was merged Apr 11, 2025 Loading…
6
Shared: Prepare model generation for C++ adoption C# Java no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
#19273 by MathiasVP was merged Apr 11, 2025 Loading…
6
C++: Fix ATL models' namespace column C++ documentation
#19030 by MathiasVP was merged Mar 17, 2025 Loading…
5
C++: Refine Node.asDefinition C++ documentation
#19001 by MathiasVP was merged Mar 13, 2025 Loading…
7
C++: Share indirect dataflow nodes across CopyValue instructions C++ no-change-note-required This PR does not need a change note
#18955 by MathiasVP was merged Mar 10, 2025 Loading…
1
C++: Clean up some stuff in SsaInternals C++ no-change-note-required This PR does not need a change note
#18773 by MathiasVP was merged Feb 14, 2025 Loading…
@paldepind
5
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
3
C++: Fix regression from #18629 C++ no-change-note-required This PR does not need a change note
#18660 by MathiasVP was merged Feb 3, 2025 Loading…
3
ProTip! no:milestone will show everything without a milestone.