Update LateCheckOfFunctionArgument.ql

ihsinme · web-flow · commit c281820f0f78 · 2021-03-09T18:22:11.000+03:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-020/LateCheckOfFunctionArgument.ql b/cpp/ql/src/experimental/Security/CWE/CWE-020/LateCheckOfFunctionArgument.ql
@@ -61,4 +61,6 @@ where
     dominates(ifc1, fc) and
     globalValueNumber(fc.getArgument(na)) = globalValueNumber(ifc1.getCondition().getAChild*())
   )
-select fc, "The value of argument '$@' appears to be checked after the call, rather than before it.", fc.getArgument(na), fc.getArgument(na).toString()
+select fc,
+  "The value of argument '$@' appears to be checked after the call, rather than before it.",
+  fc.getArgument(na), fc.getArgument(na).toString()

Original file line number	Diff line number	Diff line change
`@@ -61,4 +61,6 @@ where`
`61`	`61`	`dominates(ifc1, fc) and`
`62`	`62`	`globalValueNumber(fc.getArgument(na)) = globalValueNumber(ifc1.getCondition().getAChild*())`
`63`	`63`	`)`
`64`		`-select fc, "The value of argument '$@' appears to be checked after the call, rather than before it.", fc.getArgument(na), fc.getArgument(na).toString()`
	`64`	`+select fc,`
	`65`	`+ "The value of argument '$@' appears to be checked after the call, rather than before it.",`
	`66`	`+ fc.getArgument(na), fc.getArgument(na).toString()`