codeql/csharp/ql/test/utils/inline-tests/InlineTests.cs at 92e1023d001af1cf8c0aeb884e91ec222c00fb28 · asgerf/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
class C
{
    void Problems()
    {
        // correct expectation comment, but only for `problem-query`
        var x = "Alert"; // $ Alert

        // irrelevant expectation comment, will be ignored
        x = "Not an alert"; // $ IrrelevantTag

        // incorrect expectation comment
        x = "Also not an alert"; // $ Alert

        // missing expectation comment, but only for `problem-query`
        x = "Alert";

        // correct expectation comment
        x = "Alert"; // $ Alert[problem-query]

        // correct expectation comments with a related location
        var related = "Related"; // $ RelatedLocation[problem-query-with-related-loc]
        x = "Alert:1"; // $ Alert[problem-query-with-related-loc]

        // expectation comments missing the related location
        related = "Related";
        x = "Alert:1"; // $ Alert[problem-query-with-related-loc]
    }

    void PathProblems()
    {
        // correct expectation comments, but only for `path-problem-query`
        var source = "Source"; // $ Source
        var sink = "Sink"; // $ Sink
        var x = "Alert:2:1"; // $ Alert

        // incorrect expectation comments
        source = "Source"; // $ Source
        sink = "Sink"; // $ Sink
        x = "Not an alert:2:1"; // $ Alert

        // missing expectation comments, but only for `path-problem-query`
        source = "Source";
        sink = "Sink";
        x = "Alert:2:1";

        // correct expectation comments
        source = "Source"; // $ Source[path-problem-query]
        sink = "Sink"; // $ Sink[path-problem-query]
        x = "Alert:2:1"; // $ Alert[path-problem-query]

        // correct expectation comments; the alert location coincides with the sink location
        source = "Source"; // $ Source[path-problem-query]
        x = "Alert:1:0"; // $ Alert[path-problem-query]

        // correct expectation comments; the alert location coincides with the source location
        sink = "Sink"; // $ Sink[path-problem-query]
        x = "Alert:0:1"; // $ Alert[path-problem-query]

        // correct expectation comments, using an identifier tag
        source = "Source"; // $ Source[path-problem-query]=source1
        sink = "Sink"; // $ Sink[path-problem-query]=source1
        x = "Alert:2:1"; // $ Alert[path-problem-query]=source1

        // incorrect expectation comment, using wrong identifier tag at the sink
        source = "Source"; // $ Source[path-problem-query]=source2
        sink = "Sink"; // $ Sink[path-problem-query]=source1
        x = "Alert:2:1"; // $ Alert[path-problem-query]=source2

        // incorrect expectation comment, using wrong identifier tag at the alert
        source = "Source"; // $ Source[path-problem-query]=source3
        sink = "Sink"; // $ Sink[path-problem-query]=source3
        x = "Alert:2:1"; // $ Alert[path-problem-query]=source2

        // correct expectation comments, using an identifier tag; the alert location coincides with the sink location
        source = "Source"; // $ Source[path-problem-query]=source4
        x = "Alert:1:0"; // $ Alert[path-problem-query]=source4

        // incorrect expectation comments, using an identifier tag; the alert location coincides with the sink location
        source = "Source"; // $ Source[path-problem-query]=source5
        x = "Alert:1:0"; // $ Alert[path-problem-query]=source4

        // correct expectation comments, using an identifier tag; the alert location coincides with the source location
        sink = "Sink"; // $ Sink[path-problem-query]=sink1
        x = "Alert:0:1"; // $ Alert[path-problem-query]=sink1

        // incorrect expectation comments, using an identifier tag; the alert location coincides with the source location
        sink = "Sink"; // $ Sink[path-problem-query]=sink2
        x = "Alert:0:1"; // $ Alert[path-problem-query]=sink1

        // correct expectation comments with a related location
        source = "Source"; // $ Source[path-problem-query-with-related-loc]
        sink = "Sink"; // $ Sink[path-problem-query-with-related-loc]
        var related = "Related"; // $ RelatedLocation[path-problem-query-with-related-loc]
        x = "Alert:3:2:1"; // $ Alert[path-problem-query-with-related-loc]

        // expectation comments missing the related location
        source = "Source"; // $ Source[path-problem-query-with-related-loc]
        sink = "Sink"; // $ Sink[path-problem-query-with-related-loc]
        related = "Related";
        x = "Alert:3:2:1"; // $ Alert[path-problem-query-with-related-loc]
    }
}