hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 09:13:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
This commit is contained in:
ihsinme
2021-10-08 11:50:45 +03:00
committed by GitHub
parent 13741ba137
commit d79596354e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/experimental/Security/CWE/CWE-1041/FindWrapperFunctions.ql
View File

@@ -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 |