Commit Graph

131 Commits

Author SHA1 Message Date
Tom Hvitved
22cd2844d3 QL: Resolve newtype constructor calls 2021-05-28 15:06:37 +02:00
Taus
e62e72edfd QL: Reuse defined predicate arity 2021-05-28 12:40:45 +00:00
Taus
45ae088fd8 QL: Make getParameter 0-indexed 2021-05-28 12:22:14 +00:00
Joe Farebrother
236f413e01 QL: Merge pull request #26 from github/builtins
Built in predicates
2021-05-28 13:01:14 +01:00
Joe Farebrother
87e39c7f23 QL: Support builtin predicates 2021-05-28 12:57:36 +01:00
Tom Hvitved
28d2daea3f QL: Merge pull request #24 from github/types
Resolve calls
2021-05-28 13:50:22 +02:00
Tom Hvitved
17f6cad0e9 QL: Update expected test output 2021-05-28 13:49:31 +02:00
Tom Hvitved
4110810431 QL: Remove compilation warnings 2021-05-28 13:44:31 +02:00
Joe Farebrother
c33e0a5f30 QL: Merge pull request #20 from github/missing-override-query
Add Missing Override query
2021-05-28 12:40:17 +01:00
Joe Farebrother
933593223f QL: Add Missing Override query 2021-05-28 12:39:59 +01:00
Tom Hvitved
99a3a09033 QL: Resolve calls 2021-05-28 13:39:21 +02:00
Taus
f46dab6c84 QL: printAst edge labels and a bit of consistency 2021-05-28 11:33:06 +00:00
Taus
d65e0a9181 QL: Get rid of getParent overrides 2021-05-28 11:11:33 +00:00
Tom Hvitved
752194b19e QL: Merge pull request #23 from github/as-expr
Only generate `AsExpr`s when there is an `as` keyword
2021-05-28 12:16:11 +02:00
Tom Hvitved
bac0e02fae QL: Only generate AsExprs when there is an as keyword 2021-05-28 12:12:34 +02:00
Erik Krogh Kristensen
f0bb846345 QL: Merge pull request #22 from github/third-query
add ql/rexexp-pattern
2021-05-28 12:00:32 +02:00
Erik Krogh Kristensen
de57b2bc9f QL: add ql/rexexp-pattern 2021-05-28 09:55:09 +00:00
Erik Krogh Kristensen
a5f5fed695 QL: Merge pull request #18 from github/second-query
implement `ql/override-swapped-name`
2021-05-28 11:19:33 +02:00
Erik Krogh Kristensen
e40d713878 QL: update expected output 2021-05-28 09:16:54 +00:00
shati-patel
96a9c3446f QL: add codeql to path 2021-05-28 10:16:16 +01:00
Erik Krogh Kristensen
50f5c83cf2 QL: implement ql/override-swapped-name 2021-05-28 09:14:57 +00:00
Erik Krogh Kristensen
d8b6579f59 QL: bump precision 2021-05-28 09:14:57 +00:00
shati-patel
da6a915779 QL: Placeholder codeql workflow (wip) 2021-05-28 10:14:21 +01:00
Tom Hvitved
fac92ef2d0 QL: Merge pull request #19 from github/more-variables
More variable resolution
2021-05-28 11:12:03 +02:00
Tom Hvitved
3e87a05de8 QL: More variable resolution 2021-05-28 11:05:46 +02:00
Tom Hvitved
36248cc803 QL: Merge pull request #15 from github/inheritance
Resolve inheritable members (fields and member predicates)
2021-05-28 11:05:28 +02:00
Joe Farebrother
d4d7c6de64 QL: Resolution of inherited members 2021-05-28 11:00:01 +02:00
Tom Hvitved
3a3f8096e7 QL: Merge pull request #16 from github/var-resolution
Variable resolution
2021-05-28 09:51:15 +02:00
Tom Hvitved
ef69a46f00 QL: Add variables to jump-to-def queries 2021-05-28 09:46:03 +02:00
Tom Hvitved
43ec1a77cf QL: Variable resolution 2021-05-28 09:34:53 +02:00
Erik Krogh Kristensen
bf98e9636c QL: Merge pull request #17 from github/first-query
Add the `ql/primary-ql-class-consistency` query
2021-05-28 00:31:43 +02:00
Erik Krogh Kristensen
6f7cbf7194 QL: make the test pass an auto-format check 2021-05-27 22:26:14 +00:00
Erik Krogh Kristensen
09463f4e72 QL: space 2021-05-27 22:21:14 +00:00
Erik Krogh Kristensen
cb991fbf14 QL: run the query on our on code, and fix an error 2021-05-27 22:21:09 +00:00
Taus
77758e5ba6 QL: Add getAChild
Joint work with: REDACTED
2021-05-27 22:17:10 +00:00
Erik Krogh Kristensen
913cf53617 QL: autoformat 2021-05-27 22:16:57 +00:00
Erik Krogh Kristensen
136b046b38 QL: update expected output after the introduction of a TopLevel ast node 2021-05-27 22:13:35 +00:00
Erik Krogh Kristensen
d88cc79736 QL: Add the ql/primary-ql-class-consistency query 2021-05-27 22:08:18 +00:00
Tom Hvitved
4f410f53b8 QL: Merge pull request #14 from github/predicate-expr-resolution
Resolve predicate expressions
2021-05-27 20:39:39 +02:00
Tom Hvitved
0eabd4fcd9 QL: Restrict resolvePredicateExpr to ClasslessPredicates 2021-05-27 20:28:46 +02:00
Tom Hvitved
2f74e3e765 QL: Resolve predicate expressions 2021-05-27 20:26:19 +02:00
Taus
93fa56fe79 QL: Add missing parents for ModuleExpr 2021-05-27 17:28:00 +00:00
Taus
cdac3f9726 QL: missed a spot... 2021-05-27 17:20:01 +00:00
Taus
dc11ec418b QL: super and aggregates containing expressions 2021-05-27 17:19:35 +00:00
shati-patel
05e2ec3f82 QL: A bit more documentation 2021-05-27 18:07:49 +01:00
Taus
0e38056a3a QL: Add unique as known aggregate name to treesitter 2021-05-27 16:48:59 +00:00
Taus
219b123271 QL: Orphan fixes for aggregates 2021-05-27 16:48:38 +00:00
shati-patel
625b9563bf QL: Fix multiplication operator 2021-05-27 16:55:39 +01:00
Taus
b9ea00c372 QL: AST: range, in, set, and files 2021-05-27 15:47:46 +00:00
shati-patel
e36915b0ef QL: Merge branch 'main' of github.com:github/codeql-ql 2021-05-27 15:51:56 +01:00