Skip to content

Commit 67e3b69

Browse files
committed
C++: Move comment.
1 parent fb12847 commit 67e3b69

File tree

1 file changed

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

1 file changed

+6
-6
lines changed

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -27,13 +27,13 @@ private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunctio
2727
}
2828

2929
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
30+
// For these functions we add taint flow according to the following rules:
31+
// 1. If the parameter is of a pointer type then there is taint from the
32+
// indirection of the parameter. Otherwise, there is taint from the
33+
// parameter.
34+
// 2. If the return value is of a pointer type then there is taint to the
35+
// indirection of the return. Otherwise, there is taint to the return.
3036
exists(ParameterIndex i | exists(this.getParameter(i)) |
31-
// For these functions we add taint flow according to the following rules:
32-
// 1. If the parameter is of a pointer type then there is taint from the
33-
// indirection of the parameter. Otherwise, there is taint from the
34-
// parameter.
35-
// 2. If the return value is of a pointer type then there is taint to the
36-
// indirection of the return. Otherwise, there is taint to the return.
3737
(
3838
if this.getParameter(i).getUnspecifiedType() instanceof PointerType
3939
then input.isParameterDeref(i)

0 commit comments

Comments
 (0)