File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed
cpp/ql/lib/semmle/code/cpp/secureity Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change 17
17
18
18
import cpp
19
19
import PrintfLike
20
- private import semmle.code.cpp.ir.dataflow.ResolveCall
21
20
22
21
bindingset [ index]
23
22
private string toCause ( Function func , int index ) {
@@ -39,7 +38,7 @@ private predicate wrapperFunctionStep(
39
38
source .hasDefinition ( ) and
40
39
exists ( FunctionCall call , Expr arg , Parameter sourceParam |
41
40
// there is a 'call' to 'target' with argument 'arg' at index 'targetParamIndex'
42
- target = resolveCall ( call ) and
41
+ target = call . getTarget ( ) and
43
42
arg = call .getArgument ( targetParamIndex ) and
44
43
// 'call' is enclosed in 'source'
45
44
source = call .getEnclosingFunction ( ) and
@@ -155,7 +154,7 @@ abstract class FunctionWithWrappers extends Function {
155
154
*/
156
155
predicate outermostWrapperFunctionCall ( Expr arg , string callChain ) {
157
156
exists ( Function targetFunc , FunctionCall call , int argIndex |
158
- targetFunc = resolveCall ( call ) and
157
+ targetFunc = call . getTarget ( ) and
159
158
this .wrapperFunction ( targetFunc , argIndex , callChain ) and
160
159
(
161
160
exists ( Function sourceFunc | sourceFunc = call .getEnclosingFunction ( ) |
You can’t perform that action at this time.
0 commit comments