Merge pull request #575 from jbj/UnsafeCreateProcessCall-nullValue

geoffw0 · web-flow · commit 453529e3bfaa · 2018-11-30T09:54:17.000Z
C++: Avoid using nullValue predicate (rc/1.19)
diff --git a/cpp/ql/src/Security/CWE/CWE-428/UnsafeCreateProcessCall.ql b/cpp/ql/src/Security/CWE/CWE-428/UnsafeCreateProcessCall.ql
@@ -68,7 +68,7 @@ class NullAppNameCreateProcessFunctionConfiguration extends DataFlow::Configurat
   }
 
   override predicate isSource(DataFlow::Node source) {
-    nullValue(source.asExpr()) 
+    source.asExpr() instanceof NullValue
   }
 
   override predicate isSink(DataFlow::Node sink) {

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ class NullAppNameCreateProcessFunctionConfiguration extends DataFlow::Configurat`
`68`	`68`	`}`
`69`	`69`
`70`	`70`	`override predicate isSource(DataFlow::Node source) {`
`71`		`- nullValue(source.asExpr())`
	`71`	`+ source.asExpr() instanceof NullValue`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	`override predicate isSink(DataFlow::Node sink) {`