hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

[CPP-434] Ctrl + Shift + F.

Browse Source
This commit is contained in:
Ziemowit Laski
2019-10-21 18:40:20 -07:00
parent 2292518933
commit 9bc4c2d9a5
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/src/Likely Bugs/Arithmetic/SignedOverflowCheck.ql
View File

@@ -15,9 +15,13 @@ import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
private predicate isSignedWithoutUnsignedCast(Expr e) {
e.getType().getUnspecifiedType().(IntegralType).isSigned() /*and
not e.getExplicitlyConverted().getType().getUnspecifiedType().(IntegralType).isUnsigned()*/
}
e.getType().getUnspecifiedType().(IntegralType).isSigned()
/*
* and
* not e.getExplicitlyConverted().getType().getUnspecifiedType().(IntegralType).isUnsigned()
*/
}
from RelationalOperation ro, AddExpr add, VariableAccess va1, VariableAccess va2
where