We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 7e674f3 + ccd07b8 commit 075041fCopy full SHA for 075041f
cpp/ql/src/Security/CWE/CWE-089/SqlTainted.ql
@@ -45,9 +45,7 @@ module SqlTaintedConfig implements DataFlow::ConfigSig {
45
46
predicate isBarrier(DataFlow::Node node) {
47
node.asExpr().getUnspecifiedType() instanceof IntegralType
48
- }
49
-
50
- predicate isBarrierIn(DataFlow::Node node) {
+ or
51
exists(SqlBarrierFunction sql, int arg, FunctionInput input |
52
node.asIndirectArgument() = sql.getACallToThisFunction().getArgument(arg) and
53
input.isParameterDeref(arg) and
0 commit comments