hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6347 from MathiasVP/import-gvn-to-prevent-ir-reevaluation

Browse Source 
C++: Import 'GVN' in 'Overflow.qll' to prevent IR reevaluation.
This commit is contained in:
Geoffrey White
2021-07-22 13:37:03 +01:00
committed by GitHub
parent b8a40bb7f1 39144ee02b
commit 7fdac2a792
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/security/Overflow.qll
View File

@@ -5,6 +5,8 @@
import cpp
import semmle.code.cpp.controlflow.Dominance
// `GlobalValueNumbering` is only imported to prevent IR re-evaluation.
private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils