Update cpp/ql/src/experimental/Security/CWE/CWE-1041/FindWrapperFunctions.ql

ihsinme · MathiasVP · web-flow · commit d79596354e22 · 2021-10-08T11:50:45.000+03:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-1041/FindWrapperFunctions.ql b/cpp/ql/src/experimental/Security/CWE/CWE-1041/FindWrapperFunctions.ql
@@ -49,7 +49,7 @@ predicate conditionsOutsideWrapper(FunctionCall fcp) {
   not exists(ExprCall ectmp | fcp = ectmp.getAnArgument().getAChild*())
 }
 
-/** Held if the conditions for calling `fcp` inside the `fnp` wrapper function are met. */
+/** Holds if the conditions for calling `fcp` inside the `fnp` wrapper function are met. */
 pragma[inline]
 predicate conditionsInsideWrapper(FunctionCall fcp, Function fnp) {
   not exists(FunctionCall fctmp2 |

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ predicate conditionsOutsideWrapper(FunctionCall fcp) {`
`49`	`49`	`not exists(ExprCall ectmp \| fcp = ectmp.getAnArgument().getAChild*())`
`50`	`50`	`}`
`51`	`51`
`52`		-/** Held if the conditions for calling `fcp` inside the `fnp` wrapper function are met. */
	`52`	+/** Holds if the conditions for calling `fcp` inside the `fnp` wrapper function are met. */
`53`	`53`	`pragma[inline]`
`54`	`54`	`predicate conditionsInsideWrapper(FunctionCall fcp, Function fnp) {`
`55`	`55`	`not exists(FunctionCall fctmp2 \|`