Skip to content

Commit ff30308

Browse files
committed
C++: Only the first indirection of the argument should be the remote flow sink.
1 parent cd2eec0 commit ff30308

File tree

1 file changed

+1
-1
lines changed
  • cpp/ql/lib/semmle/code/cpp/models/implementations

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/models/implementations/Send.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ private class Send extends AliasFunction, ArrayFunction, SideEffectFunction, Rem
5858
override ParameterIndex getParameterSizeIndex(ParameterIndex i) { i = 1 and result = 2 }
5959

6060
override predicate hasRemoteFlowSink(FunctionInput input, string description) {
61-
input.isParameterDeref(1) and description = "buffer sent by " + this.getName()
61+
input.isParameterDeref(1, 1) and description = "buffer sent by " + this.getName()
6262
}
6363

6464
override predicate hasSocketInput(FunctionInput input) { input.isParameter(0) }

0 commit comments

Comments
 (0)