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
#21166 opened Jan 15, 2026 by github-actions bot Loading…
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! Adding no:label will show everything without a label.