Skip to content

Commit ec0c0f1

Browse files
committed
Fix some spurious results in ExternalFlowInheritance tests
Several struct types were being considered as the same. The fix is to give them unique fields.
1 parent 06b1d8e commit ec0c0f1

File tree

2 files changed

+44
-28
lines changed
  • go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance

2 files changed

+44
-28
lines changed

go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance/test_fields.go

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6,12 +6,12 @@ import (
66

77
func TestFieldsP1(t test.P1) {
88
a := t.SourceField
9-
t.SinkField = a // $ P1[f] P1[t] ql_P1 SPURIOUS: ql_S1
9+
t.SinkField = a // $ P1[f] P1[t] ql_P1
1010
}
1111

1212
func TestFieldsS1(t test.S1) {
1313
a := t.SourceField
14-
t.SinkField = a // $ S1[f] S1[t] ql_S1 SPURIOUS: ql_P1
14+
t.SinkField = a // $ S1[f] S1[t] ql_S1
1515
}
1616

1717
func TestFieldsSEmbedI1(t test.SEmbedI1) {
@@ -31,22 +31,22 @@ func TestFieldsPImplEmbedI1(t test.PImplEmbedI1) {
3131

3232
func TestFieldsSEmbedP1(t test.SEmbedP1) {
3333
a := t.SourceField
34-
t.SinkField = a // $ P1[t] SEmbedP1[t] ql_P1 SPURIOUS: ql_S1
34+
t.SinkField = a // $ P1[t] SEmbedP1[t] ql_P1
3535
}
3636

3737
func TestFieldsSEmbedS1(t test.SEmbedS1) {
3838
a := t.SourceField
39-
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1 SPURIOUS: ql_P1
39+
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1
4040
}
4141

4242
func TestFieldsSEmbedPtrP1(t test.SEmbedPtrP1) {
4343
a := t.SourceField
44-
t.SinkField = a // $ P1[t] SEmbedPtrP1[t] ql_P1 SPURIOUS: ql_S1
44+
t.SinkField = a // $ P1[t] SEmbedPtrP1[t] ql_P1
4545
}
4646

4747
func TestFieldsSEmbedPtrS1(t test.SEmbedPtrS1) {
4848
a := t.SourceField
49-
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1 SPURIOUS: ql_P1
49+
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1
5050
}
5151

5252
func TestFieldsSImplEmbedS1(t test.SImplEmbedS1) {
@@ -61,25 +61,25 @@ func TestFieldsSEmbedSEmbedI1(t test.SEmbedSEmbedI1) {
6161

6262
func TestFieldsSEmbedSEmbedS1(t test.SEmbedSEmbedS1) {
6363
a := t.SourceField
64-
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1 SPURIOUS: ql_P1
64+
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1
6565
}
6666

6767
func TestFieldsSEmbedSEmbedPtrS1(t test.SEmbedSEmbedPtrS1) {
6868
a := t.SourceField
69-
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1 SPURIOUS: ql_P1
69+
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1
7070
}
7171

7272
func TestFieldsSEmbedPtrSEmbedS1(t test.SEmbedPtrSEmbedS1) {
7373
a := t.SourceField
74-
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1 SPURIOUS: ql_P1
74+
t.SinkField = a // $ S1[t] SEmbedS1[t] ql_S1
7575
}
7676

7777
func TestFieldsSEmbedPtrSEmbedPtrS1(t test.SEmbedPtrSEmbedPtrS1) {
7878
a := t.SourceField
79-
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1 SPURIOUS: ql_P1
79+
t.SinkField = a // $ S1[t] SEmbedPtrS1[t] ql_S1
8080
}
8181

8282
func TestFieldsSEmbedS1AndSEmbedS1(t test.SEmbedS1AndSEmbedS1) {
8383
a := t.SourceField
84-
t.SinkField = a // $ S1[t] ql_S1 SPURIOUS: ql_P1
84+
t.SinkField = a // $ S1[t] ql_S1
8585
}

go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance/vendor/github.com/nonexistent/test/stub.go

Lines changed: 33 additions & 17 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)