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

Java: Delete experimental models that have been promoted Java no-change-note-required This PR does not need a change note
#21129 opened Jan 8, 2026 by owen-mc Loading…
Rust: Improve/add various models documentation Rust Pull requests that update Rust code
#21123 opened Jan 8, 2026 by hvitved Draft
Rust: Also lift read steps in summaries as taint steps documentation Rust Pull requests that update Rust code
#21122 opened Jan 8, 2026 by hvitved Draft
Add overlay[local] annotations Python
#21116 opened Jan 7, 2026 by tausbn Draft
Rust: switch on TRAP compression Rust Pull requests that update Rust code
#21112 opened Jan 7, 2026 by redsun82 Draft
C++: Remove decimal floating point types C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR documentation
#21110 opened Jan 7, 2026 by jketema Draft
Go: misc trivial fixes Go no-change-note-required This PR does not need a change note
#21109 opened Jan 6, 2026 by owen-mc Loading…
Bump the go_modules group across 1 directory with 3 updates dependencies Pull requests that update a dependency file documentation Go
#21078 opened Dec 24, 2025 by dependabot bot Loading…
feat: Add PHP language support documentation
#21061 opened Dec 17, 2025 by drmckay Loading…
1 task
Java: allow MaD barriers Java
#21055 opened Dec 16, 2025 by owen-mc Draft
codegen: mention Rust in the README documentation
#21047 opened Dec 16, 2025 by redsun82 Loading…
ProTip! What’s not been updated in a month: updated:<2025-12-08.