hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-09 19:51:07 +01:00
Code Issues Packages Projects Releases Wiki Activity
209 Commits 1,689 Branches 160 Tags
bd6825833d0dd2b83de04aee90623681207ea25f
Commit Graph

209 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Erik Krogh Kristensen
bd6825833d QL: disable windows part 2 2021-10-13 12:05:17 +02:00
Erik Krogh Kristensen
9b36fdf9bd QL: disable windows CI 2021-10-13 11:54:03 +02:00
Geoffrey White
46789aecaa QL: Update README.md 
I needed the rust-analyzer extension to get anywhere in VSCode.
 2021-10-13 10:09:08 +01:00
Erik Krogh Kristensen
eb527a5494 QL: Merge pull request #51 from github/aschackmull/ignore-work 
Add work folder to gitignore.
 2021-10-13 10:52:49 +02:00
Anders Schack-Mulligen
a8b1ef83f1 QL: Add work folder to gitignore. 2021-10-13 08:28:27 +00:00
Taus
352c50c2e5 QL: Merge pull request #37 from github/toUnicodeBuildin 
add `toUnicode` as a build-in
 2021-10-13 10:13:05 +02:00
Erik Krogh Kristensen
fbb58f1954 QL: Merge pull request #41 from github/tausbn/support-instanceof 
Support `instanceof`
 2021-10-13 09:14:02 +02:00
Taus
db6551c22d QL: Fix up getASuperType 
I'm not sure if it's correct to include also the `instanceof`s, but we
can always fix this later.
 2021-10-12 19:28:13 +00:00
Taus
4694ab4773 QL: Support instanceof 
Stills needs to be hooked up correctly to the AST.
 2021-10-12 17:40:29 +00:00
Erik Krogh Kristensen
ca21f5800b QL: Merge pull request #40 from github/erik-krogh/fix-qltest 
fix qlpack version string
 2021-10-12 13:08:40 +02:00
Erik Krogh Kristensen
d6d626e932 QL: fix qlpack version string 2021-10-12 11:01:18 +00:00
Taus
b719faa627 QL: Merge pull request #36 from github/various-small-fixes 
Various small fixes
 2021-09-23 13:42:19 +02:00
Erik Krogh Kristensen
b8a368a47f QL: Merge pull request #38 from github/rankOne 
add a query for finding rank[1]
 2021-08-18 23:23:00 +02:00
Erik Krogh Kristensen
23b2d43440 QL: Update ql/src/queries/style/RankOne.ql 
Co-authored-by: Taus <tausbn@github.com>
 2021-08-18 11:25:36 +02:00
Erik Krogh Kristensen
b45a793e28 QL: add a query for finding rank[1] 2021-08-18 09:19:05 +00:00
Erik Krogh Kristensen
b385dfd5a8 QL: add toUnicode as a build-in 2021-06-22 12:07:47 +00:00
Taus
2515fc0ebc QL: Add exclusions to Module consistency test 2021-06-19 12:41:16 +00:00
Taus
7a117caaea QL: Autoformat 2021-06-19 12:36:10 +00:00
Taus
2fa4424f71 QL: Remove SuperAccess::getType() 
This had a bad effect on our call resolution, so I'm reverting it for
now. We may want to diverge from the language specification here.
 2021-06-19 12:17:17 +00:00
Taus
4c4a2658fe QL: Update printAst test 
to reflect the renaming of `Aggregate` to `FullAggregate`.
 2021-06-19 12:16:42 +00:00
Taus
fb8f549d93 QL: Exclude a few more paths from tests 2021-06-19 11:54:50 +00:00
Taus
76b55c4a5a QL: Split up Aggregate properly 
Previously, we had `Aggregate` and `ExprAggregate` as separate classes,
the latter of which representing aggregates that contain only an
expression.

This was a problem for the `rank` aggregate, as it inherited from
`Aggregate`, but _could_ also contain just an expression (even if this
is rather rare).

To fix this, I renamed `Aggregate` to `FullAggregate` (to make the
division clearer), and added a new type `Aggregate` that represents the
union of these two types. Now `Rank` can inherit from the new class
`Aggregate` and everything is dandy.
 2021-06-19 11:50:50 +00:00
Taus
8d17a95265 QL: Fix getType for aggregates 
We were only including the `strict` variant of `count` and not any of
the other ones (spot the mistake!).

Also, `unique` was added as a recognised aggregate name.
 2021-06-19 11:47:45 +00:00
Taus
602c9e720e QL: Add more getType overrides 
Mainly adds ones for primitive types.

One peculiarity: the language specification states that the type of
`super` is the same as the type of `this`, and _not_ the type of
the superclass on which the method is actually accessed. This seems a
bit strange to me, so I thought I would highlight it specifically.

Also, I'm not entirely sure that the rules around type coercion for
the various binary operators are 100% correct.
 2021-06-19 11:40:12 +00:00
Taus
08dd9477c2 QL: Merge pull request #35 from github/downstream-latest-generator 2021-06-02 10:07:09 +02:00
Taus
75a959389c QL: Update to latest generator 
Includes better QLDoc generation and better escaping in the generated
files (the latter has changed the dbscheme, so rebuilding databases will
be required).
 2021-06-01 16:43:11 +00:00
Taus
22e4606358 QL: Merge pull request #34 from github/dbscheme-and-qlpack-support 
Add support for dbscheme and qlpack.yml
 2021-06-01 18:23:36 +02:00
Taus
cbd0caa4ab QL: Fix getQLDoc compilation error 2021-05-31 08:55:27 +00:00
Taus
ada77a3c8b QL: Merge branch 'main' into dbscheme-and-qlpack-support 2021-05-31 10:50:39 +02:00
Taus
17ef056579 QL: Merge pull request #30 from github/qldoc-nodes 
Add AST nodes for QLDoc
 2021-05-31 10:45:15 +02:00
Taus
855683e980 QL: Simplify getAMember 
Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
 2021-05-31 10:26:50 +02:00
Erik Krogh Kristensen
f2f6d34f21 QL: improve performance of module resolution 2021-05-31 08:06:49 +00:00
Erik Krogh Kristensen
3ee642868d QL: improve performance of type resolution 2021-05-31 07:51:11 +00:00
Erik Krogh Kristensen
12627d19fa QL: improve scope resolution performance 2021-05-31 07:46:51 +00:00
Erik Krogh Kristensen
7a4e4134da QL: more improvements to printAst performance 2021-05-31 07:33:11 +00:00
Erik Krogh Kristensen
5e89bf99a8 QL: fix printAst performance 2021-05-30 21:42:15 +00:00
Erik Krogh Kristensen
e47c4ff2ad QL: spaces in folder/file names are underscores in import names 2021-05-30 21:36:01 +00:00
Erik Krogh Kristensen
1aa7cbb918 QL: use qlpack existence to determine the root for imports 2021-05-30 21:30:11 +00:00
Taus
676bc5ee2a QL: Autoformat 2021-05-30 17:53:38 +00:00
Taus
2bbf1e37fc QL: Add support for dbscheme and qlpack.yml 
Currently the the YAML "parser" fails for some legacy files, but the
actual files appear to be parsed correctly.
 2021-05-30 17:38:26 +00:00
Erik Krogh Kristensen
01e420fd02 QL: Merge branch 'main' into qldoc-nodes 2021-05-30 15:51:29 +00:00
Erik Krogh Kristensen
63c7b21f4b QL: Merge pull request #32 from github/jumpToField 
get jump to field to work
 2021-05-29 22:09:44 +02:00
Erik Krogh Kristensen
35fe816918 QL: Merge pull request #33 from github/fixes 
improve callgraph resolution, and other fixes
 2021-05-29 22:09:32 +02:00
Erik Krogh Kristensen
f1aa5ef804 QL: change multipleResolveCall to ignore aliases 2021-05-29 19:30:40 +00:00
Erik Krogh Kristensen
5b1bab0921 QL: fix the arity of predicate aliases 2021-05-29 19:23:58 +00:00
Erik Krogh Kristensen
7a33225fd0 QL: support more types on aggregates 2021-05-29 19:23:58 +00:00
Erik Krogh Kristensen
04ca858e85 QL: add callgraph test 2021-05-29 19:23:58 +00:00
Erik Krogh Kristensen
c78bae69c8 QL: add super calls to the callgraph 2021-05-29 19:23:58 +00:00
Erik Krogh Kristensen
aceab25d9b QL: add super nodes 2021-05-29 19:23:58 +00:00
Erik Krogh Kristensen
3d50a4d254 QL: add getEnclosingPredicate utility predicate 2021-05-29 19:23:58 +00:00