File tree Expand file tree Collapse file tree 3 files changed +316
-0
lines changed
javascript/ql/experimental/adaptivethreatmodeling
lib/experimental/adaptivethreatmodeling
test/endpoint_large_scale Expand file tree Collapse file tree 3 files changed +316
-0
lines changed Original file line number Diff line number Diff line change @@ -154,6 +154,17 @@ abstract class AtmConfig extends JS::TaintTracking::Configuration {
154
154
not AtmResultsInfo:: isFlowLikelyInBaseQuery ( source .getNode ( ) , sink .getNode ( ) ) and
155
155
score = AtmResultsInfo:: getScoreForFlow ( source .getNode ( ) , sink .getNode ( ) )
156
156
}
157
+
158
+ /**
159
+ * Holds if if `sink` is an effective sink with flow from `source` which gets used as a sink candidate for scoring
160
+ * with the ML model.
161
+ */
162
+ predicate isSinkCandidateWithFlow ( JS:: DataFlow:: PathNode sink ) {
163
+ exists ( JS:: DataFlow:: PathNode source |
164
+ this .hasFlowPath ( source , sink ) and
165
+ not AtmResultsInfo:: isFlowLikelyInBaseQuery ( source .getNode ( ) , sink .getNode ( ) )
166
+ )
167
+ }
157
168
}
158
169
159
170
/** DEPRECATED: Alias for AtmConfig */
You can’t perform that action at this time.
0 commit comments