Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 07482ab

Browse files
aschackmullaschackmull
committed
Java/C++/C#: Sync.
1 parent 274919c commit 07482ab

18 files changed

Lines changed: 72 additions & 72 deletions

File tree

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

‎csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2041,12 +2041,12 @@ private class PathNodeMid extends PathNode, TPathNodeMid {
20412041
result = getSuccMid()
20422042
or
20432043
// a final step to a sink via zero steps means we merge the last two steps to prevent trivial-looking edges
2044-
exists(PathNodeMid mid |
2044+
exists(PathNodeMid mid, PathNodeSink sink |
20452045
mid = getSuccMid() and
2046-
mid.getNode() = result.getNode() and
2046+
mid.getNode() = sink.getNode() and
20472047
mid.getAp() instanceof AccessPathNil and
2048-
result instanceof PathNodeSink and
2049-
result.getConfiguration() = unbind(mid.getConfiguration())
2048+
sink.getConfiguration() = unbind(mid.getConfiguration()) and
2049+
result = sink
20502050
)
20512051
}
20522052

0 commit comments

Comments
 (0)