Search results

Rust: Data flow through trait methods

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19881

#19881 In github/codeql;

· hvitved opened on Jun 25, 2025

Rust: Handle more explicit type arguments in type inference

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19847

#19847 In github/codeql;

· hvitved opened on Jun 23, 2025

Rust: Fix type inference for library parameters

RustPull requests that update Rust codePull requests that update Rust code

Status: Draft (not ready).

github/codeqlnumber 19658

#19658 In github/codeql;

· hvitved opened on Jun 3, 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

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

Data flow: Improve pruning when calculating flow through

DataFlow Library

Status: Draft (not ready).

github/codeqlnumber 16182

#16182 In github/codeql;

· hvitved opened on Apr 11, 2024

Dataflow perf investigations

C#

C++

DataFlow Library

Go

Java

Python

Ruby

Swift

Status: Draft (not ready).

github/codeqlnumber 15444

#15444 In github/codeql;

· hvitved opened on Jan 26, 2024

C#: Add static call graph tests

C#

Status: Draft (not ready).

github/codeqlnumber 12262

#12262 In github/codeql;

· hvitved opened on Feb 20, 2023