Search results

Dataflow: Expose stage 1's fwdFlow

DataFlow Library

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

Status: Merged (completed).

github/codeqlnumber 21631

#21631 In github/codeql;

· by MathiasVP was closed on Apr 7, 2026

Shared/C++: Handle non-standard return values in MaD flow sources/sinks

C++

DataFlow Library

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

Status: Merged (completed).

github/codeqlnumber 19569

#19569 In github/codeql;

· by MathiasVP was closed on May 23, 2025

Mergeback from rc/3.14

C#

C++

DataFlow Library

documentation

Go

Java

JS

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 16725

#16725 In github/codeql;

· by MathiasVP was closed on Jun 11, 2024

DataFlow: Cache getSecondLevelScope

DataFlow Library

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

Status: Merged (completed).

github/codeqlnumber 16337

#16337 In github/codeql;

· by MathiasVP was closed on Apr 26, 2024

DataFlow: Fix join order

DataFlow Library

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

Status: Merged (completed).

github/codeqlnumber 15434

#15434 In github/codeql;

· by MathiasVP was closed on Jan 25, 2024

DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation

C++

DataFlow Library

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

Status: Merged (completed).

github/codeqlnumber 14799

#14799 In github/codeql;

· by MathiasVP was closed on Dec 6, 2023

DataFlow: Speed up the big step relation

C#

C++

DataFlow Library

Go

Java

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

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 13679

#13679 In github/codeql;

· by MathiasVP was closed on Jul 11, 2023

DataFlow: Add an "identity-step" consistency check

C#

C++

DataFlow Library

Java

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

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 12959

#12959 In github/codeql;

· by MathiasVP was closed on May 5, 2023

DataFlow: Disable standard order in Stage1::fwdFlow

C#

C++

DataFlow Library

Go

Java

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

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 12462

#12462 In github/codeql;

· by MathiasVP was closed on Mar 9, 2023

Dataflow: Add a language specific term to join and branch

C#

C++

DataFlow Library

Go

Java

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

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 12236

#12236 In github/codeql;

· by MathiasVP was closed on Mar 6, 2023

DataFlow: Fix join in fwdFlowRead

C#

C++

DataFlow Library

Go

Java

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

Python

Ruby

Swift

Status: Merged (completed).

github/codeqlnumber 12009

#12009 In github/codeql;

· by MathiasVP was closed on Jan 30, 2023

Taintflow: Additional steps at sink

C#

C++

DataFlow Library

Go

Java

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

Python

Ruby

Swift

Status: Closed (abandoned).

github/codeqlnumber 11539

#11539 In github/codeql;

· by MathiasVP was closed on Dec 6, 2022