File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -19,13 +19,13 @@ func TestI2(t test.I2) {
19
19
func TestS1 (t test.S1 ) {
20
20
x := t .Source ()
21
21
y := t .Step (x )
22
- t .Sink (y ) // $ I1[t] S1[f] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] SEmbedI1[t]
22
+ t .Sink (y ) // $ I1[t] S1[f] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] SEmbedI1[t] SEmbedS1[t]
23
23
}
24
24
25
25
func TestS2 (t test.S2 ) {
26
26
x := t .Source ()
27
27
y := t .Step (x )
28
- t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
28
+ t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t] SEmbedS2[t]
29
29
}
30
30
31
31
func TestSEmbedI1 (t test.SEmbedI1 ) {
@@ -67,13 +67,13 @@ func TestSImplEmbedI2(t test.SImplEmbedI2) {
67
67
func TestSEmbedS1 (t test.SEmbedS1 ) {
68
68
x := t .Source ()
69
69
y := t .Step (x )
70
- t .Sink (y ) // $ I1[t] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] S1[f] SEmbedI1[t]
70
+ t .Sink (y ) // $ I1[t] S1[t] SEmbedS1[t] ql_S1 SPURIOUS: IEmbedI1[t] S1[f] SEmbedI1[t]
71
71
}
72
72
73
73
func TestSEmbedS2 (t test.SEmbedS2 ) {
74
74
x := t .Source ()
75
75
y := t .Step (x )
76
- t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
76
+ t .Sink (y ) // $ I1[t] I2[t] SEmbedS2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
77
77
}
78
78
79
79
func TestSImplEmbedS1 (t test.SImplEmbedS1 ) {
You can’t perform that action at this time.
0 commit comments