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

CPP: Autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2020-01-23 10:07:21 +00:00
parent 1867d58034
commit ccf268d048
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll
View File

@@ -155,7 +155,8 @@ private predicate exprToExprStep(Expr exprIn, Expr exprOut) {
or
inModel.isParameter(argInIndex) and
exprIn = call.getArgument(argInIndex)
) or
)
or
inModel.isQualifierObject() and
exprIn = call.getQualifier()
)
@@ -175,7 +176,9 @@ private predicate exprToDefinitionByReferenceStep(Expr exprIn, Expr argOut) {
)
)
or
exists(TaintFunction f, Call call, FunctionInput inModel, FunctionOutput outModel, int argOutIndex |
exists(
TaintFunction f, Call call, FunctionInput inModel, FunctionOutput outModel, int argOutIndex
|
call.getTarget() = f and
argOut = call.getArgument(argOutIndex) and
outModel.isParameterDeref(argOutIndex) and
@@ -190,7 +193,8 @@ private predicate exprToDefinitionByReferenceStep(Expr exprIn, Expr argOut) {
or
inModel.isParameter(argInIndex) and
exprIn = call.getArgument(argInIndex)
) or
)
or
inModel.isQualifierObject() and
exprIn = call.getQualifier()
)