vscode-codeql/extensions/ql-vscode/snippets.json at 1e72149d1f00c4f512b5f6d89b2abfff283a7267 · edoardopirovano/vscode-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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
{
  "Query Metadata": {
    "prefix": "querymetadata",
    "body": [
      "/**",
      " * @name $1",
      " * @description $2",
      " * @kind $3",
      " * @id $4",
      " * @tags $5",
      " */"
    ],
    "description": "Metadata for a query"
  },
  "Class": {
    "prefix": "class",
    "body": ["class $1 extends $2 {", "\t$0", "}"],
    "description": "A class"
  },
  "From/Where/Select": {
    "prefix": "from",
    "body": ["from $1", "where $2", "select $3"],
    "description": "A from/where/select statement"
  },
  "Predicate": {
    "prefix": "predicate",
    "body": ["predicate $1($2) {", "\t$0", "}"],
    "description": "A predicate"
  },
  "Dataflow Tracking Class": {
    "prefix": "dataflowtracking",
    "body": [
      "class $1 extends DataFlow::Configuration {",
      "\t$1() { this = \"$1\" }",
      "\t",
      "\toverride predicate isSource(DataFlow::Node node) {",
      "\t\t${2:none()}",
      "\t}",
      "\t",
      "\toverride predicate isSink(DataFlow::Node node) {",
      "\t\t${3:none()}",
      "\t}",
      "}"
    ],
    "description": "Boilerplate for a dataflow tracking class"
  },
  "Taint Tracking Class": {
    "prefix": "tainttracking",
    "body": [
      "class $1 extends TaintTracking::Configuration {",
      "\t$1() { this = \"$1\" }",
      "\t",
      "\toverride predicate isSource(DataFlow::Node node) {",
      "\t\t${2:none()}",
      "\t}",
      "\t",
      "\toverride predicate isSink(DataFlow::Node node) {",
      "\t\t${3:none()}",
      "\t}",
      "}"
    ],
    "description": "Boilerplate for a taint tracking class"
  },
  "Count": {
    "prefix": "count",
    "body": ["count($1 | $2 | $3)"],
    "description": "A count aggregate"
  },
  "Max": {
    "prefix": "max",
    "body": ["max($1 | $2 | $3)"],
    "description": "A max aggregate"
  },
  "Min": {
    "prefix": "min",
    "body": ["min($1 | $2 | $3)"],
    "description": "A min aggregate"
  },
  "Average": {
    "prefix": "avg",
    "body": ["avg($1 | $2 | $3)"],
    "description": "An average aggregate"
  },
  "Sum": {
    "prefix": "sum",
    "body": ["sum($1 | $2 | $3)"],
    "description": "A sum aggregate"
  },
  "Concatenation": {
    "prefix": "concat",
    "body": ["concat($1 | $2 | $3)"],
    "description": "A concatenation aggregate"
  },
  "Rank": {
    "prefix": "rank",
    "body": ["rank[$1]($2 | $3 | $4)"],
    "description": "A rank aggregate"
  },
  "Strict Sum": {
    "prefix": "strictsum",
    "body": ["strictsum($1 | $2 | $3)"],
    "description": "A strict sum aggregate"
  },
  "Strict Concatenation": {
    "prefix": "strictconcat",
    "body": ["strictconcat($1 | $2 | $3)"],
    "description": "A strict concatenation aggregate"
  },
  "Strict Count": {
    "prefix": "strictcount",
    "body": ["strictcount($1 | $2 | $3)"],
    "description": "A strict count aggregate"
  },
  "Unique": {
    "prefix": "unique",
    "body": ["unique($1 | $2 | $3)"],
    "description": "A unique aggregate"
  },
  "Exists": {
    "prefix": "exists",
    "body": ["exists($1 | $2 | $3)"],
    "description": "An exists quantifier"
  },
  "For All": {
    "prefix": "forall",
    "body": ["forall($1 | $2 | $3)"],
    "description": "A for all quantifier"
  },
  "For All and Exists": {
    "prefix": "forex",
    "body": ["forex($1 | $2 | $3)"],
    "description": "A for all and exists quantifier"
  }
}