C++: Include ComplementExpr as a sanitizer.

This commit is contained in:
Mathias Vorreiter Pedersen
2021-07-12 11:53:47 +02:00
parent d2cc0d3925
commit 04dcef5ec4

View File

@@ -103,8 +103,11 @@ class UncontrolledArithConfiguration extends TaintTracking::Configuration {
// If this expression is part of bitwise 'and' or 'or' operation it's likely that the value is
// only used as a bit pattern.
node.asExpr() =
any(BinaryBitwiseOperation op | op instanceof BitwiseOrExpr or op instanceof BitwiseAndExpr)
.getAnOperand*()
any(Operation op |
op instanceof BitwiseOrExpr or
op instanceof BitwiseAndExpr or
op instanceof ComplementExpr
).getAnOperand*()
}
}