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

Rust: Associated types are inherited as type parameters by traits and dyn traits Rust Pull requests that update Rust code
#21165 opened Jan 14, 2026 by paldepind Draft
C++: More builtins and information regarding this param refs C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR documentation
#21164 opened Jan 14, 2026 by jketema Loading…
C: Allow MaD barriers C++
#21162 opened Jan 13, 2026 by owen-mc Draft
Scripts: be more robust when parsing test logs
#21160 opened Jan 13, 2026 by owen-mc Loading…
Rust: Exclude self parameter accesses from rust/access-after-lifetime-ended documentation Rust Pull requests that update Rust code
#21155 opened Jan 12, 2026 by geoffw0 Loading…
3 tasks done
Type inference: Disable universal conditions by default Rust Pull requests that update Rust code
#21151 opened Jan 12, 2026 by hvitved Draft
C++: Generate IR for assertions in release builds C++ no-change-note-required This PR does not need a change note
#21142 opened Jan 9, 2026 by MathiasVP Loading…
Python support ListElement in MaD Python
#21134 opened Jan 9, 2026 by yoff Loading…
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
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…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.