hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 12:41:06 +01:00
Code Issues Packages Projects Releases Wiki Activity
82 Commits 1,688 Branches 160 Tags
e36915b0ef189c6290477a707d07e75d91c00896
Commit Graph

56 Commits

Author SHA1 Message Date
shati-patel
e36915b0ef QL: Merge branch 'main' of github.com:github/codeql-ql 2021-05-27 15:51:56 +01:00
shati-patel
8ce59ff073 QL: Add some more documentation 2021-05-27 15:51:40 +01:00
Joe Farebrother
0aa936d2d2 QL: Merge pull request #13 from github/type-expr-resolution 
Type expression resolution
 2021-05-27 15:48:20 +01:00
Taus
f61471c451 QL: Add AST support for HOPs 2021-05-27 14:37:15 +00:00
Joe Farebrother
cb3e971ebc QL: Support aliases and unions 2021-05-27 15:25:37 +01:00
Joe Farebrother
3a8e1779d9 QL: `Merge branch 'main' into type-expr-resolution 2021-05-27 15:12:49 +01:00
Taus
69b4d577d5 QL: Link up ModuleExpr with PredicateCall 2021-05-27 14:11:20 +00:00
Joe Farebrother
5ec1068230 QL: Fixes for resolution and consistency query 2021-05-27 15:05:42 +01:00
Taus
a1fc6391d7 QL: Support class unions 2021-05-27 14:01:21 +00:00
Joe Farebrother
d5bf0cb33f QL: Add type expression resolution 2021-05-27 14:48:26 +01:00
Taus
158b50f482 QL: Support predicate foo = bar/5; 2021-05-27 13:18:31 +00:00
Taus
192ac4cae3 QL: Add support for class Foo = Bar; 2021-05-27 13:08:30 +00:00
Taus
bb50f90a64 QL: Make all calls formulas 2021-05-27 12:57:39 +00:00
Taus
59c0c06a8e QL: Add AST node for expression annotations 2021-05-27 12:52:37 +00:00
Taus
b79e295c71 QL: Fix up NoneCall 
In some contexts, `none()` is a formula. This means in general we cannot
assume `Call` is an `Expr`, but only know that it's an `AstNode`.
 2021-05-27 12:41:22 +00:00
Taus
b4f67c9d5f QL: Hide parentheses in AST 
Joint work with erik-krogh
 2021-05-27 12:17:40 +00:00
shati-patel
b4a03fe3f0 QL: More QLDoc 2021-05-27 11:52:48 +01:00
Tom Hvitved
e1501dc830 QL: Merge pull request #8 from github/module-resolution 
Module resolution
 2021-05-27 12:45:07 +02:00
Tom Hvitved
f3cae6bb25 QL: Module resolution 2021-05-27 12:42:46 +02:00
Taus
b3844cb715 QL: link up NewType correctly 2021-05-27 10:41:43 +00:00
Taus
5a3da4b9eb QL: regenerate TreeSitter.ql 2021-05-27 10:24:00 +00:00
Erik Krogh Kristensen
ae164a6049 QL: Merge pull request #11 from github/greenbar 
Trying to get a green bar
 2021-05-27 12:16:43 +02:00
Taus
3ac7fa8369 QL: ifs, implications, instanceof 2021-05-27 10:12:41 +00:00
Erik Krogh Kristensen
3aebdcce7b QL: add cases to the getParent relation 2021-05-27 10:12:03 +00:00
Erik Krogh Kristensen
a38d9a3cbf QL: calls and inline casts 2021-05-27 10:04:20 +00:00
shati-patel
83a38eebab QL: Add more QLDoc 2021-05-27 10:56:40 +01:00
shati-patel
fb30a1c893 QL: Add more expressions 2021-05-27 10:41:29 +01:00
Erik Krogh Kristensen
01ae97bf22 QL: use moduleExpr in Type 2021-05-27 09:31:47 +00:00
Tom Hvitved
7b64df51ab QL: Add module expressions and module aliases 2021-05-27 11:28:37 +02:00
Tom Hvitved
197a36daf6 QL: Add ModuleMember::isPrivate() 2021-05-27 10:27:57 +02:00
Erik Krogh Kristensen
b83c19f27b QL: add support for aggregates 2021-05-27 08:23:15 +00:00
Erik Krogh Kristensen
abec79cb0f QL: make sure Literal is an Expr 2021-05-27 07:31:44 +00:00
Erik Krogh Kristensen
6f5499eefe QL: literals and fixes 2021-05-26 21:35:01 +00:00
Erik Krogh Kristensen
c075f370c7 QL: add types 2021-05-26 21:35:01 +00:00
Taus
9536e591fb QL: Add convenience methods for aggregates 2021-05-26 21:25:42 +00:00
Taus
d4782e67fe QL: AST for quantifiers, negation 2021-05-26 21:06:04 +00:00
Erik Krogh Kristensen
ad7d35df2a QL: ast for imports, modules, and various fixes 2021-05-26 19:39:54 +00:00
Taus
0ddac5bcee QL: More work on ComparisonFormula 2021-05-26 18:12:06 +00:00
Taus
cd15cec629 QL: Merge branch 'main' into ast 2021-05-26 17:38:44 +00:00
Taus
e554fa8277 QL: Add body as a field of charpred 2021-05-26 17:26:15 +00:00
Taus
29c32a924f QL: WIP formulas and expressions 
Joint work with shati-patel.
 2021-05-26 16:21:01 +00:00
Erik Krogh Kristensen
20f495dfbf QL: Merge remote-tracking branch 'origin/main' into ast 2021-05-26 15:02:23 +00:00
Erik Krogh Kristensen
a453c32e71 QL: implement more AST cases 2021-05-26 15:01:55 +00:00
Taus
88972f04f4 QL: Don't printAst ReservedWords 2021-05-26 14:28:33 +00:00
Erik Krogh Kristensen
9a9b6f71c2 QL: slightly more AST stuff 2021-05-26 14:18:25 +00:00
Erik Krogh Kristensen
407a3b5d3d QL: switch printAst query to use new pretty AST layer 2021-05-26 14:04:23 +00:00
Erik Krogh Kristensen
7f2c999b8e QL: fix format (again) 2021-05-26 13:53:15 +00:00
Erik Krogh Kristensen
e35ab675ba QL: extremely minimal AST layer 2021-05-26 13:48:02 +00:00
Taus
c91a2b88fd QL: Record annotation names in the AST 2021-05-26 13:14:52 +00:00
Erik Krogh Kristensen
955f4d4d24 QL: don't print LineComment (they were disconnected from the root), and a bit of printAst performance 2021-05-26 13:12:44 +00:00