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

Skip to content

Commit 9926892

Browse files
Robert MarshRobert Marsh
authored andcommitted
C++: remove debugging predicates
1 parent 9c478c5 commit 9926892

2 files changed

Lines changed: 0 additions & 397 deletions

File tree

cpp/ql/src/Security/CWE/CWE-078/ExecTainted.ql

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -81,10 +81,6 @@ class TaintToConcatenationConfiguration extends TaintTracking::Configuration {
8181
override predicate isSink(DataFlow::Node sink) {
8282
interestingConcatenation(sink, _)
8383
}
84-
85-
override int explorationLimit() {
86-
result = 10
87-
}
8884
}
8985

9086
class ExecTaintConfiguration extends TaintTracking::Configuration {
@@ -112,14 +108,6 @@ query predicate edges(DataFlow::PathNode a, DataFlow::PathNode b) {
112108
b.getConfiguration() instanceof ExecTaintConfiguration
113109
}
114110

115-
query predicate pathExplore(DataFlow::PartialPathNode source, DataFlow::PartialPathNode node, int dist) {
116-
any(TaintToConcatenationConfiguration cfg).hasPartialFlow(source, node, dist)
117-
}
118-
119-
query predicate pathExploreRev(DataFlow::PartialPathNode node, DataFlow::PartialPathNode sink, int dist) {
120-
any(TaintToConcatenationConfiguration cfg).hasPartialFlowRev(node, sink, dist)
121-
}
122-
123111
from
124112
DataFlow::PathNode sourceNode, DataFlow::PathNode concatSink, DataFlow::PathNode concatSource, DataFlow::PathNode sinkNode, string taintCause, string callChain,
125113
TaintToConcatenationConfiguration conf1, ExecTaintConfiguration conf2

0 commit comments

Comments
 (0)