Skip to content

Commit ca913b4

Browse files
committed
C++: Don't summarize calls through function pointers in FunctionWithWrappers.
1 parent 200d46f commit ca913b4

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/security/FunctionWithWrappers.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ private predicate wrapperFunctionStep(
3737
not target.isVirtual() and
3838
not source.isVirtual() and
3939
source.hasDefinition() and
40-
exists(Call call, Expr arg, Parameter sourceParam |
40+
exists(FunctionCall call, Expr arg, Parameter sourceParam |
4141
// there is a 'call' to 'target' with argument 'arg' at index 'targetParamIndex'
4242
target = resolveCall(call) and
4343
arg = call.getArgument(targetParamIndex) and
@@ -154,7 +154,7 @@ abstract class FunctionWithWrappers extends Function {
154154
* Whether 'arg' is an argument in a call to an outermost wrapper function of 'this' function.
155155
*/
156156
predicate outermostWrapperFunctionCall(Expr arg, string callChain) {
157-
exists(Function targetFunc, Call call, int argIndex |
157+
exists(Function targetFunc, FunctionCall call, int argIndex |
158158
targetFunc = resolveCall(call) and
159159
this.wrapperFunction(targetFunc, argIndex, callChain) and
160160
(

0 commit comments

Comments
 (0)