hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Move comment.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-23 13:49:13 +00:00
parent fb12847360
commit 67e3b69996
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll
View File

@@ -27,13 +27,13 @@ private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunctio
}
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
// For these functions we add taint flow according to the following rules:
// 1. If the parameter is of a pointer type then there is taint from the
// indirection of the parameter. Otherwise, there is taint from the
// parameter.
// 2. If the return value is of a pointer type then there is taint to the
// indirection of the return. Otherwise, there is taint to the return.
exists(ParameterIndex i | exists(this.getParameter(i)) |
// For these functions we add taint flow according to the following rules:
// 1. If the parameter is of a pointer type then there is taint from the
// indirection of the parameter. Otherwise, there is taint from the
// parameter.
// 2. If the return value is of a pointer type then there is taint to the
// indirection of the return. Otherwise, there is taint to the return.
(
if this.getParameter(i).getUnspecifiedType() instanceof PointerType
then input.isParameterDeref(i)