Search results

Rust: Fix type inference for library parameters

RustPull requests that update Rust codePull requests that update Rust code

Status: Open (in progress).

github/codeqlnumber 19658

#19658 In github/codeql;

· hvitved opened on Jun 3, 2025

Rust: Simple type inference for index expressions

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19657

#19657 In github/codeql;

· hvitved opened on Jun 3, 2025

Rust: Path resolution for <code>extern crate</code>s

RustPull requests that update Rust codePull requests that update Rust code

Status: Open (in progress).

github/codeqlnumber 19614

#19614 In github/codeql;

· hvitved opened on May 28, 2025

Rust: Type inference for <code>.await</code> expressions

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 19584

#19584 In github/codeql;

· hvitved opened on May 26, 2025

Rust: Remove source vs library deduplication logic

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19577

#19577 In github/codeql;

· hvitved opened on May 26, 2025

Rust: Make current MaD predicates deprecated

RustPull requests that update Rust codePull requests that update Rust code

Status: Open (in progress).

github/codeqlnumber 19502

#19502 In github/codeql;

· hvitved opened on May 15, 2025

Rust: Make <code>SummarizedCallable</code> extend <code>Function</code> instead of <code>string</code>

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19268

#19268 In github/codeql;

· hvitved opened on Apr 10, 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 <code>allowParameterReturnInSelf</code> 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