hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 09:43:15 +01:00
Code Issues Packages Projects Releases Wiki Activity
78,658 Commits 1,672 Branches 157 Tags
rust-ti-implementing-type-method
Commit Graph

949 Commits

Author SHA1 Message Date
Erik Krogh Kristensen
84d2cb84c1 QL: and consistency query that will highlight new consistency errors 2021-10-16 23:17:42 +02:00
Erik Krogh Kristensen
1b9793d928 QL: only resolve imports to qll files, and not e.g. dbschemes 2021-10-16 23:09:48 +02:00
Erik Krogh Kristensen
a65289253e QL: better support for getType on super 2021-10-16 22:22:52 +02:00
Erik Krogh Kristensen
928b91d975 QL: resolve super-expressions when the super-type is explicitly mentioned 2021-10-16 21:55:36 +02:00
Erik Krogh Kristensen
4c32b7e480 QL: add test for super-types 2021-10-16 21:54:23 +02:00
Erik Krogh Kristensen
34d4e55459 QL: better type resolution of add expressions 2021-10-16 21:35:02 +02:00
Erik Krogh Kristensen
e528c6ff90 QL: add test for type resolution 2021-10-16 21:32:25 +02:00
Erik Krogh Kristensen
865e4f0441 QL: find dbscheme files that are contained within a subfolder 2021-10-15 21:37:23 +02:00
Erik Krogh Kristensen
e060708367 QL: correctly resolve super calls in char preds 2021-10-15 21:28:19 +02:00
Erik Krogh Kristensen
3252c04c38 QL: improve resolution of buildin predicates (and getAQlClass()) 2021-10-15 21:23:18 +02:00
Erik Krogh Kristensen
1239b1aee1 QL: fix getEnclosingModule, which broke the callgraph 2021-10-15 19:48:47 +02:00
Erik Krogh Kristensen
c7aa89b1d8 QL: add missing getChild() relations 2021-10-15 19:48:47 +02:00
Erik Krogh Kristensen
b40e30790a QL: add failing callgraph test 2021-10-15 19:48:45 +02:00
Erik Krogh Kristensen
8391580301 QL: add an consistency test for the totality of getParent() 2021-10-15 19:46:51 +02:00
Taus
9a02a223e3 QL: Merge pull request #124 from github/erik-krogh/fix-step-performance 
fix performance of the transitive step query
 2021-10-15 19:11:31 +02:00
Erik Krogh Kristensen
0bfedc74fa QL: fix performance of the transitive step query 2021-10-15 18:47:54 +02:00
Mathias Vorreiter Pedersen
188a6b19f0 QL: Merge branch 'main' into missing-nomagic 2021-10-15 17:26:09 +01:00
Mathias Vorreiter Pedersen
02c26037cb QL: Merge pull request #119 from github/query-depends-on-tostring 
Query: Query logic depends on `toString`
 2021-10-15 16:15:54 +01:00
Mathias Vorreiter Pedersen
4d5901a421 QL: QL: Respond to PR reviews. 2021-10-15 16:02:23 +01:00
Taus
d6dd752764 QL: Merge pull request #95 from github/tausbn/add-override-test 
Add test for `override`
 2021-10-15 16:00:15 +02:00
Taus
1375e1d9fc QL: Support super with instanceof 2021-10-15 12:27:24 +00:00
Anders Schack-Mulligen
370d75bedc QL: Merge pull request #104 from github/bidirectional-import 
Query for finding missing or unwanted bidirectional imports of abstract classes
 2021-10-15 14:02:58 +02:00
Taus
7745a13efb QL: Merge pull request #117 from github/tausbn/update-extractor-generator 
Upgrade the extractor generator
 2021-10-15 13:59:32 +02:00
Mathias Vorreiter Pedersen
21caef3d7d QL: QL: Reduce precision to 'medium'. 2021-10-15 12:57:32 +01:00
Mathias Vorreiter Pedersen
1d331fc678 QL: Remove the dataflow library. 2021-10-15 12:40:49 +01:00
Anders Schack-Mulligen
510f8253e5 QL: New query: Don't use library annotation. 2021-10-15 13:35:25 +02:00
Erik Krogh Kristensen
8aa354c4c0 QL: fix performance 2021-10-15 13:32:39 +02:00
Taus
24959a52d0 QL: Fix bad merge 2021-10-15 11:12:52 +00:00
Taus
53cbde0c44 QL: Merge branch 'main' into tausbn/add-override-test 2021-10-15 13:03:17 +02:00
Taus
9c82f72720 QL: Ignore overridden predicates in consistency check 2021-10-15 10:58:38 +00:00
Mathias Vorreiter Pedersen
d90de13bdb QL: QL: Add query for using toString in query logic. 2021-10-15 11:57:55 +01:00
Mathias Vorreiter Pedersen
4fe43155c0 QL: QL: Add dataflow library. 2021-10-15 11:57:30 +01:00
Taus
4238a5be2f QL: Merge pull request #116 from github/erik-krogh/qlpack-test 
add test for qlpacks
 2021-10-15 12:33:34 +02:00
Taus
b75e19a446 QL: Merge branch 'main' into tausbn/update-extractor-generator 2021-10-15 12:28:01 +02:00
Anders Schack-Mulligen
3fc0bed9b5 QL: Remove some FPs. 2021-10-15 12:05:02 +02:00
Taus
53e362c994 QL: Merge pull request #112 from github/tausbn/import-language-first 
Query: Noninitial imports of the standard library
 2021-10-15 11:30:02 +02:00
Erik Krogh Kristensen
0954584743 QL: add test for qlpacks, and get them to work 2021-10-15 11:24:18 +02:00
Taus
8020040b4f QL: Autoformat 2021-10-15 09:21:24 +00:00
Taus
9f4c829b3e QL: Upgrade the extractor generator 
For now, the grammar still includes dbscheme and YAML, but with this
change we should be able to separate these out into their own grammars.
 2021-10-15 09:16:34 +00:00
Erik Krogh Kristensen
6fe7579fc3 QL: remove leftover test predicate 2021-10-15 10:58:44 +02:00
Geoffrey White
2f77b921a0 QL: Merge pull request #107 from github/missing-qldoc 
Add ql/missing-qldoc query.
 2021-10-15 09:41:45 +01:00
Taus
2352cf7a26 QL: Merge pull request #114 from github/erik-krogh/consistency 
fix the signature of regexpCapture and regexpFind
 2021-10-15 10:12:19 +02:00
Mathias Vorreiter Pedersen
8e6bc11197 QL: Merge pull request #86 from github/use-set-literal 
New query: Use set literal
 2021-10-15 08:55:30 +01:00
Erik Krogh Kristensen
ddc0ade28c QL: hook up consistency query 2021-10-15 09:31:54 +02:00
Erik Krogh Kristensen
f071da499b QL: add test 2021-10-15 09:31:54 +02:00
Erik Krogh Kristensen
6cd11d2e13 QL: update expected output 2021-10-15 09:31:54 +02:00
Erik Krogh Kristensen
74a7945995 QL: fix getArity on PredicateOrBuiltin 2021-10-15 09:31:53 +02:00
Erik Krogh Kristensen
153f8fec0e QL: fix the signature of regexpCapture and regexpFind 2021-10-15 09:31:31 +02:00
Erik Krogh Kristensen
f9d8ae588c QL: fix implicit this 2021-10-14 22:37:17 +02:00
Taus
632d42fe68 QL: Autoformat 2021-10-14 16:06:19 +00:00