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

Update CSV framework coverage reports
#21131 opened Jan 9, 2026 by github-actions bot Loading…
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…
SSA: Improve performance of finding relevant phi input nodes. no-change-note-required This PR does not need a change note
#21127 opened Jan 8, 2026 by aschackmull 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-09.