Skip to content

Commit 0abc0d1

Browse files
authored
Fix: ActiveThreatModelSource
1 parent f8335e6 commit 0abc0d1

File tree

2 files changed

+2
-2
lines changed
  • go/ql/test/library-tests/semmle/go/dataflow/flowsources/local/stdin

2 files changed

+2
-2
lines changed

go/ql/test/library-tests/semmle/go/dataflow/flowsources/local/stdin/source.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ module SourceTest implements TestSig {
66
string getARelevantTag() { result = "source" }
77

88
predicate hasActualResult(Location location, string element, string tag, string value) {
9-
exists(ThreatModelFlowSource s |
9+
exists(ActiveThreatModelSource s |
1010
s.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
1111
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
1212
element = s.toString() and

go/ql/test/library-tests/semmle/go/dataflow/flowsources/local/stdin/test.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ import experimental.frameworks.CleverGo
55
import TestUtilities.InlineFlowTest
66

77
module Config implements DataFlow::ConfigSig {
8-
predicate isSource(DataFlow::Node source) { source instanceof ThreatModelFlowSource }
8+
predicate isSource(DataFlow::Node source) { source instanceof ActiveThreatModelSource }
99

1010
predicate isSink(DataFlow::Node sink) {
1111
sink.asExpr() = any(CallExpr c | c.getTarget().getName() = "sink").getArgument(0)

0 commit comments

Comments
 (0)