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 {
154154 not AtmResultsInfo:: isFlowLikelyInBaseQuery ( source .getNode ( ) , sink .getNode ( ) ) and
155155 score = AtmResultsInfo:: getScoreForFlow ( source .getNode ( ) , sink .getNode ( ) )
156156 }
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+ }
157168}
158169
159170/** DEPRECATED: Alias for AtmConfig */
You can’t perform that action at this time.
0 commit comments