Search results

C++: Iterator derefs are partial writes

C++

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

Status: Draft (not ready).

github/codeqlnumber 18674

#18674 In github/codeql;

· MathiasVP opened on Feb 4, 2025

C++: Use alias analysis in IR dataflow

C++

Status: Draft (not ready).

github/codeqlnumber 16463

#16463 In github/codeql;

· MathiasVP opened on May 9, 2024

DataFlow/C++: <code>fieldFlowBranchLimit</code> follow-up (2)

C++

DataFlow Library

Status: Draft (not ready).

github/codeqlnumber 16303

#16303 In github/codeql;

· MathiasVP opened on Apr 23, 2024

C++: Block flow to integral and float types in <code>cpp/unbounded-write</code>

C++

documentation

Status: Draft (not ready).

github/codeqlnumber 16144

#16144 In github/codeql;

· MathiasVP opened on Apr 8, 2024

C++: Use 'FeatureEqualSourceSinkCallContext' in <code>cpp/use-after-free</code> and <code>cpp/double-free</code>

C++

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

Status: Draft (not ready).

github/codeqlnumber 16126

#16126 In github/codeql;

· MathiasVP opened on Apr 4, 2024

C++: Global variable flow without explicit SSA definitions

C++

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

Status: Draft (not ready).

github/codeqlnumber 15194

#15194 In github/codeql;

· MathiasVP opened on Dec 22, 2023

C++: Promote 'cpp/overrun-write' to Code Scanning.

C++

Status: Draft (not ready).

github/codeqlnumber 14392

#14392 In github/codeql;

· MathiasVP opened on Oct 6, 2023

C++: Fix more FPs in <code>cpp/invalid-pointer-deref</code>

C++

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

Status: Draft (not ready).

github/codeqlnumber 14164

#14164 In github/codeql;

· MathiasVP opened on Sep 7, 2023

C++: Rewrite <code>cpp/constant-array-overflow</code> and add barriers

C++

Status: Draft (not ready).

github/codeqlnumber 13669

#13669 In github/codeql;

· MathiasVP opened on Jul 5, 2023

C++: Also handle <code>PhiInstruction</code>s in <code>Expr::getInstruction</code>

C++

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

Status: Open (in progress).

github/codeqlnumber 13622

#13622 In github/codeql;

· MathiasVP opened on Jun 29, 2023

Swift: Make <code>DoCatchTree</code> more precise

Status: Draft (not ready).

github/codeqlnumber 13114

#13114 In github/codeql;

· MathiasVP opened on May 10, 2023

C++: Fix some FPs in <code>cpp/invalid-pointer-deref</code>

C++

Status: Draft (not ready).

github/codeqlnumber 12961

#12961 In github/codeql;

· MathiasVP opened on Apr 27, 2023