Search results

Rust: Use verbose type paths in inline expectation comments

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

RustPull requests that update Rust codePull requests that update Rust code

Status: Open (in progress).

github/codeqlnumber 21778

#21778 In github/codeql;

· hvitved opened on Apr 30, 2026

Swift: Add type inference tests

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

Swift

Status: Open (in progress).

github/codeqlnumber 21777

#21777 In github/codeql;

· hvitved opened on Apr 30, 2026

Shared: Adjust semantics of optional inline expectation tags

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

Status: Open (in progress).

github/codeqlnumber 21772

#21772 In github/codeql;

· hvitved opened on Apr 29, 2026

TEMP PR to run CI

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 21289

#21289 In github/codeql;

· hvitved opened on Feb 6, 2026

Rust: Jump-to-def for operations and indexing

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

RustPull requests that update Rust codePull requests that update Rust code

Status: Open (in progress).

github/codeqlnumber 20900

#20900 In github/codeql;

· hvitved opened on Nov 24, 2025

Rust [EXPERIMENT]: Reintroduce extractor resolution

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 20753

#20753 In github/codeql;

· hvitved opened on Nov 4, 2025

Rust [EXPERIMENT]: Reduce all query suites to just type inference

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 20721

#20721 In github/codeql;

· hvitved opened on Oct 30, 2025

temp

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 18230

#18230 In github/codeql;

· hvitved opened on Dec 6, 2024

Data flow: Remove allowParameterReturnInSelf restriction

C#

C++

DataFlow Library

Go

Java

Python

Ruby

RustPull requests that update Rust codePull requests that update Rust code

Swift

Status: Draft (not ready).

github/codeqlnumber 18217

#18217 In github/codeql;

· hvitved opened on Dec 5, 2024

Data flow: Rework reverse flow through parameters

C#

C++

DataFlow Library

Go

Java

Ruby

Swift

Status: Draft (not ready).

github/codeqlnumber 18109

#18109 In github/codeql;

· hvitved opened on Nov 26, 2024

SSA: Lift barrier guards to logical operations

C#

Ruby

Status: Draft (not ready).

github/codeqlnumber 17673

#17673 In github/codeql;

· hvitved opened on Oct 7, 2024

Data flow: Store/load matching in pruning stage 3

DataFlow Library

Status: Draft (not ready).

github/codeqlnumber 16741

#16741 In github/codeql;

· hvitved opened on Jun 12, 2024