114 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Erik Krogh Kristensen	cc60ddde1c	Merge pull request #18 from github/second-query ... implement `ql/override-swapped-name`	2021-05-28 11:19:33 +02:00
Erik Krogh Kristensen	2430dbfd04	update expected output	2021-05-28 09:16:54 +00:00
shati-patel	d1c6660c32	add codeql to path	2021-05-28 10:16:16 +01:00
Erik Krogh Kristensen	75d77b70cc	implement ql/override-swapped-name	2021-05-28 09:14:57 +00:00
Erik Krogh Kristensen	19e33b2e29	bump precision	2021-05-28 09:14:57 +00:00
shati-patel	ebcd27e1b3	Placeholder codeql workflow (wip)	2021-05-28 10:14:21 +01:00
Tom Hvitved	c2c1a9200e	Merge pull request #19 from github/more-variables ... More variable resolution	2021-05-28 11:12:03 +02:00
Tom Hvitved	dc5080c61d	More variable resolution	2021-05-28 11:05:46 +02:00
Tom Hvitved	e5a9bcd786	Merge pull request #15 from github/inheritance ... Resolve inheritable members (fields and member predicates)	2021-05-28 11:05:28 +02:00
Joe Farebrother	0b1d109460	Resolution of inherited members	2021-05-28 11:00:01 +02:00
Tom Hvitved	6d6c1f343d	Merge pull request #16 from github/var-resolution ... Variable resolution	2021-05-28 09:51:15 +02:00
Tom Hvitved	b20aa3fb07	Add variables to jump-to-def queries	2021-05-28 09:46:03 +02:00
Tom Hvitved	f99dc7b266	Variable resolution	2021-05-28 09:34:53 +02:00
Erik Krogh Kristensen	28f2527f86	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	391c8150f5	make the test pass an auto-format check	2021-05-27 22:26:14 +00:00
Erik Krogh Kristensen	d59f0df23f	space	2021-05-27 22:21:14 +00:00
Erik Krogh Kristensen	16cf439f6b	run the query on our on code, and fix an error	2021-05-27 22:21:09 +00:00
Taus	9103e2697f	Add getAChild ... Joint work with: REDACTED	2021-05-27 22:17:10 +00:00
Erik Krogh Kristensen	497f0cd48b	autoformat	2021-05-27 22:16:57 +00:00
Erik Krogh Kristensen	79c99b0c61	update expected output after the introduction of a TopLevel ast node	2021-05-27 22:13:35 +00:00
Erik Krogh Kristensen	e8cc0ee453	Add the ql/primary-ql-class-consistency query	2021-05-27 22:08:18 +00:00
Tom Hvitved	967553d582	Merge pull request #14 from github/predicate-expr-resolution ... Resolve predicate expressions	2021-05-27 20:39:39 +02:00
Tom Hvitved	8c59edefb2	Restrict resolvePredicateExpr to ClasslessPredicates	2021-05-27 20:28:46 +02:00
Tom Hvitved	f713d8b13e	Resolve predicate expressions	2021-05-27 20:26:19 +02:00
Taus	e01fe66519	Add missing parents for ModuleExpr	2021-05-27 17:28:00 +00:00
Taus	c8cb81d1f9	missed a spot...	2021-05-27 17:20:01 +00:00
Taus	44c8e78873	super and aggregates containing expressions	2021-05-27 17:19:35 +00:00
shati-patel	1e9d8d0ca1	A bit more documentation	2021-05-27 18:07:49 +01:00
Taus	a4de52d135	Add unique as known aggregate name to treesitter	2021-05-27 16:48:59 +00:00
Taus	2abb79cd57	Orphan fixes for aggregates	2021-05-27 16:48:38 +00:00
shati-patel	fd3abe42bf	Fix multiplication operator	2021-05-27 16:55:39 +01:00
Taus	0337a0dc18	AST: range, in, set, and files	2021-05-27 15:47:46 +00:00
shati-patel	59e85abe9e	Merge branch 'main' of github.com:github/codeql-ql	2021-05-27 15:51:56 +01:00
shati-patel	da65f75372	Add some more documentation	2021-05-27 15:51:40 +01:00
Joe Farebrother	c66e7de6a8	Merge pull request #13 from github/type-expr-resolution ... Type expression resolution	2021-05-27 15:48:20 +01:00
Joe Farebrother	45e6af2d14	Add jump-to-def support	2021-05-27 15:45:00 +01:00
Taus	fe631a5eaf	Add AST support for HOPs	2021-05-27 14:37:15 +00:00
Joe Farebrother	16005fa6cf	Support aliases and unions	2021-05-27 15:25:37 +01:00
Joe Farebrother	719ef68aeb	`Merge branch 'main' into type-expr-resolution	2021-05-27 15:12:49 +01:00
Taus	2882f6d37c	Link up ModuleExpr with PredicateCall	2021-05-27 14:11:20 +00:00
Joe Farebrother	9580362332	Fixes for resolution and consistency query	2021-05-27 15:05:42 +01:00
Taus	e09a012064	Support class unions	2021-05-27 14:01:21 +00:00
Joe Farebrother	fc2f9b5ab6	Add type expression resolution	2021-05-27 14:48:26 +01:00
Taus	97468a3935	Support predicate foo = bar/5;	2021-05-27 13:18:31 +00:00
Taus	359b7d6b39	Add support for class Foo = Bar;	2021-05-27 13:08:30 +00:00
Taus	59c4e170a8	Make all calls formulas	2021-05-27 12:57:39 +00:00
Taus	20e72d3304	Add AST node for expression annotations	2021-05-27 12:52:37 +00:00
Taus	6aa64ba2cc	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	a99a6a4721	Add use of parentheses to printAst test	2021-05-27 12:25:29 +00:00
Taus	21e8993c71	Hide parentheses in AST ... Joint work with erik-krogh	2021-05-27 12:17:40 +00:00