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
290 Commits 1,689 Branches 160 Tags
ec292dbffdf763caed2d86a0b7bcf86af95b0300
Commit Graph

228 Commits

Author SHA1 Message Date
Anders Schack-Mulligen
ec292dbffd New performance query: Transitive step in recursion. 2021-10-14 15:42:40 +02:00
Anders Schack-Mulligen
d7fd1e0718 Merge pull request #80 from github/aschackmull/calltarget-astnode 
Refactor Call.getTarget to be an AstNode
 2021-10-14 13:35:50 +02:00
Anders Schack-Mulligen
c0f1d365ba This is slightly faster without magic. 2021-10-14 13:12:26 +02:00
Anders Schack-Mulligen
cd3839f621 Fix semantic merge conflict 2021-10-14 13:12:11 +02:00
Anders Schack-Mulligen
350620d44a Fix bad magic. 2021-10-14 13:07:53 +02:00
Anders Schack-Mulligen
6b4dbc3fe5 Fix compile error. 2021-10-14 13:07:53 +02:00
Anders Schack-Mulligen
ff3aba0f5d Adjust expected output. 2021-10-14 13:07:53 +02:00
Anders Schack-Mulligen
ffc25f8f89 Fix semantic merge conflict. 2021-10-14 13:06:41 +02:00
Anders Schack-Mulligen
41a0bf154f Move some AstNodes to Ast.qll, fix compilation error. 2021-10-14 13:06:41 +02:00
Anders Schack-Mulligen
7955a8b6c8 Refactor 2021-10-14 13:06:41 +02:00
Erik Krogh Kristensen
6af27c23ec lowercase query id 2021-10-14 12:59:27 +02:00
Erik Krogh Kristensen
949ead913f add query to detect uses of getAQlClass 2021-10-14 12:59:27 +02:00
Mathias Vorreiter Pedersen
626ec4d209 QL: Accept test changes. 2021-10-14 11:28:40 +01:00
Mathias Vorreiter Pedersen
3e3ad8e5d4 Merge branch 'main' into missing-noinline 2021-10-14 11:08:05 +01:00
Mathias Vorreiter Pedersen
deffeff01c Merge pull request #97 from github/fix-spurious-exists-mistakes 
QL: Respond to PR reviews for #87
 2021-10-14 11:03:36 +01:00
Mathias Vorreiter Pedersen
2f7272d1ed QL: Add a query that finds missing noinline or nomagic annotations. 2021-10-14 11:00:26 +01:00
Mathias Vorreiter Pedersen
c900118731 QL: Model QL annotations. 2021-10-14 10:59:25 +01:00
Joe Farebrother
9749f797c8 Merge pull request #70 from github/dont-mention-this 
Query to find member predicates that don't depend on `this`
 2021-10-14 10:49:49 +01:00
Mathias Vorreiter Pedersen
ed5960e015 QL: Respond to PR reviews. 2021-10-14 10:48:54 +01:00
Mathias Vorreiter Pedersen
bff9665866 Merge branch 'main' into mathiasvp/superfluous-exists 2021-10-14 09:49:40 +01:00
Mathias Vorreiter Pedersen
455a34a1ec Merge pull request #77 from github/erik-krogh/qlpacks 
add pretty AST for YAML and a QLPack utility class
 2021-10-14 08:42:52 +01:00
Esben Sparre Andreasen
0ff2de9b5e restrict the queries that are run by default 2021-10-14 08:12:04 +02:00
Mathias Vorreiter Pedersen
c5bcb7999e QL: Complete the GVN library. 2021-10-13 22:48:45 +01:00
Erik Krogh Kristensen
5e7adc661f autoformat 2021-10-13 20:26:40 +02:00
Mathias Vorreiter Pedersen
5b881c2151 Merge pull request #73 from github/tausbn/add-implicit-this-query 
Add "implicit `this`" query
 2021-10-13 17:36:02 +01:00
Mathias Vorreiter Pedersen
c3141125af QL: Add a query that finds unnecessary 'exists'. 2021-10-13 17:31:29 +01:00
Mathias Vorreiter Pedersen
2543b720e6 QL: Add a basic GVN library. 2021-10-13 17:26:26 +01:00
Mathias Vorreiter Pedersen
c577817882 QL: Add some convenience predicates in 'Ast.qll' and move a couple of the predicates from subclasses of 'BinOpExpr' into 'BinOpExpr'. 2021-10-13 17:26:00 +01:00
Mathias Vorreiter Pedersen
4c4fd52347 QL: Add some more model classes that represent builtin QL classes. 2021-10-13 17:24:27 +01:00
Erik Krogh Kristensen
31394878a2 resolve calls to db relations 2021-10-13 17:03:24 +02:00
Erik Krogh Kristensen
1a1770fc06 resolve imports across qlpacks 2021-10-13 16:20:07 +02:00
Taus
bd01d92500 Fix "missing override" FPs 
This brings the analysis back to the level it was at before the addition
of `instanceof`.
 2021-10-13 14:07:24 +00:00
Anders Schack-Mulligen
dd4f6edd62 Merge pull request #75 from github/aschackmull/isclosure 
Expose transitive closure syntax.
 2021-10-13 15:45:20 +02:00
Mathias Vorreiter Pedersen
43b1185d82 Merge pull request #79 from github/esbena/fix-1 
fix getAPrimaryQlClass: SuperAccess -> Super
 2021-10-13 14:44:25 +01:00
Esben Sparre Andreasen
3e7b82a02a fix getAPrimaryQlClass: SuperAccess -> Super 2021-10-13 15:38:16 +02:00
Erik Krogh Kristensen
06f2345bbb add pretty AST for YAML and a QLPack utility class 2021-10-13 15:35:14 +02:00
Mathias Vorreiter Pedersen
aef394e2d1 Merge pull request #62 from github/if-with-none 
QL: Add query that finds 'if p() then q() else none()'
 2021-10-13 14:29:15 +01:00
Esben Sparre Andreasen
b8d26abbc2 Merge pull request #64 from github/esbena/codeql-action-support 
CodeQL-action to work with QL-for-QL
 2021-10-13 15:24:13 +02:00
Esben Sparre Andreasen
85a35544af add workflow with codeql-action 2021-10-13 15:21:08 +02:00
Taus
e524076045 Extend the tests slightly 
Adds a test for when the call is to an outer, non-member predicate.
 2021-10-13 13:03:30 +00:00
Anders Schack-Mulligen
94dbf2b7b4 Expose transitive closure syntax. 2021-10-13 12:48:38 +00:00
Taus
bc5e0924d2 Add tests for "implicit this" 2021-10-13 12:27:20 +00:00
Taus
48cfa9665a Add "implicit this" query 2021-10-13 12:08:19 +00:00
Mathias Vorreiter Pedersen
95ea619cc4 Merge pull request #69 from github/erik-krogh/perf 
fix two bad join orders
 2021-10-13 12:53:12 +01:00
Erik Krogh Kristensen
4cb004c0c6 autoformat 2021-10-13 13:34:47 +02:00
Erik Krogh Kristensen
705e24690f cache getClassPredicate 2021-10-13 13:26:37 +02:00
Taus
7034933cee "Parse" YAML without errors 2021-10-13 11:24:26 +00:00
Joe Farebrother
1b4130fe97 Add check for predicates with an override annotation 2021-10-13 12:22:46 +01:00
Erik Krogh Kristensen
584702058d fix two bad join orders 2021-10-13 13:20:41 +02:00
Joe Farebrother
33bd267eb0 "doesn't mention this" query 2021-10-13 12:09:04 +01:00