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

Merge pull request #60 from pavgust/imp/c-wrapped-functions

Browse Source 
Approved by dave-bartolomeo, jbj
This commit is contained in:
semmle-qlci
2018-08-15 16:44:27 +01:00
committed by GitHub
parent 6225fcf2b8 d999ada22c
commit 63180d484b
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/src/semmle/code/cpp/security/FunctionWithWrappers.qll
View File

@@ -139,10 +139,14 @@ abstract class FunctionWithWrappers extends Function {
*/
predicate outermostWrapperFunctionCall(Expr arg, string callChain)
{
exists(Function func, Call call, int argIndex |
func = resolveCall(call)
and this.wrapperFunction(func, argIndex, callChain)
and not wrapperFunctionStep(call.getEnclosingFunction(), _, func, argIndex)
exists(Function targetFunc, Call call, int argIndex |
targetFunc = resolveCall(call)
and this.wrapperFunction(targetFunc, argIndex, callChain)
and (
exists(Function sourceFunc | sourceFunc = call.getEnclosingFunction() |
not wrapperFunctionStep(sourceFunc, _, targetFunc, argIndex)
) or not exists(call.getEnclosingFunction())
)
and arg = call.getArgument(argIndex)
)
}