hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-08 11:11:06 +01:00
Code Issues Packages Projects Releases Wiki Activity
379 Commits 1,691 Branches 160 Tags
09f60f20fc3ff17829dafcd69fb27e0e39cdfb50
Commit Graph

379 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Erik Krogh Kristensen
09f60f20fc fix code-scanning alert 2021-10-17 14:00:26 +02:00
Erik Krogh Kristensen
18eede5597 fix some inconsistencies related to primitive types 2021-10-17 13:38:40 +02:00
Erik Krogh Kristensen
9127fa533a fix predicate resolution 2021-10-17 12:53:49 +02:00
Erik Krogh Kristensen
dc354f8fbf add noResolvePredicateExpr to the list of empty consistency predicates 2021-10-17 11:59:51 +02:00
Erik Krogh Kristensen
055937eefb NewTypeBranches are Predicates 2021-10-17 11:58:00 +02:00
Erik Krogh Kristensen
2af3fb5cca add test for predicateExpr 2021-10-17 11:57:07 +02:00
Erik Krogh Kristensen
9d9663d842 and consistency query that will highlight new consistency errors 2021-10-16 23:17:42 +02:00
Erik Krogh Kristensen
74b1c19a20 only resolve imports to qll files, and not e.g. dbschemes 2021-10-16 23:09:48 +02:00
Erik Krogh Kristensen
b31ea30e85 better support for getType on super 2021-10-16 22:22:52 +02:00
Erik Krogh Kristensen
f99ce113cb resolve super-expressions when the super-type is explicitly mentioned 2021-10-16 21:55:36 +02:00
Erik Krogh Kristensen
c43ff2f9d0 add test for super-types 2021-10-16 21:54:23 +02:00
Erik Krogh Kristensen
c1b011d47c better type resolution of add expressions 2021-10-16 21:35:02 +02:00
Erik Krogh Kristensen
2a5d567041 add test for type resolution 2021-10-16 21:32:25 +02:00
Erik Krogh Kristensen
6004ecc3a4 Merge pull request #125 from github/erik-krogh/fix-my-own-mistake 
fixing the callgraph
 2021-10-15 22:15:29 +02:00
Erik Krogh Kristensen
f19a229e6f find dbscheme files that are contained within a subfolder 2021-10-15 21:37:23 +02:00
Erik Krogh Kristensen
3b1c04b71c correctly resolve super calls in char preds 2021-10-15 21:28:19 +02:00
Erik Krogh Kristensen
145efa4a1a improve resolution of buildin predicates (and getAQlClass()) 2021-10-15 21:23:18 +02:00
Erik Krogh Kristensen
f8138c92c5 fix getEnclosingModule, which broke the callgraph 2021-10-15 19:48:47 +02:00
Erik Krogh Kristensen
7ce2750c8a add missing getChild() relations 2021-10-15 19:48:47 +02:00
Erik Krogh Kristensen
535904e545 add failing callgraph test 2021-10-15 19:48:45 +02:00
Erik Krogh Kristensen
d0aa219652 add an consistency test for the totality of getParent() 2021-10-15 19:46:51 +02:00
Taus
d950b59a4d 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
Mathias Vorreiter Pedersen
299500fdaa Merge pull request #109 from github/missing-nomagic 
QL: Query for finding missing `nomagic` on cand predicates
 2021-10-15 17:59:59 +01:00
Erik Krogh Kristensen
62355f3f0e fix performance of the transitive step query 2021-10-15 18:47:54 +02:00
Mathias Vorreiter Pedersen
dbc3b49777 Merge branch 'main' into missing-nomagic 2021-10-15 17:26:09 +01:00
Mathias Vorreiter Pedersen
df3d5aefc7 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
f5bb1d0124 QL: Respond to PR reviews. 2021-10-15 16:02:23 +01:00
Taus
eb787ae321 Merge pull request #95 from github/tausbn/add-override-test 
Add test for `override`
 2021-10-15 16:00:15 +02:00
Mathias Vorreiter Pedersen
ed17bd9106 Merge pull request #123 from github/tausbn/add-instanceof-super-resolution 
Support `super` with `instanceof`
 2021-10-15 14:15:37 +01:00
Taus
5b261d88bb Support super with instanceof 2021-10-15 12:27:24 +00:00
Anders Schack-Mulligen
684600cc54 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
8ceeb71c8e 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
1469766994 QL: Reduce precision to 'medium'. 2021-10-15 12:57:32 +01:00
Mathias Vorreiter Pedersen
67b65b691e Merge pull request #122 from github/aschackmull/library-annot 
New query: Don't use library annotation.
 2021-10-15 12:56:22 +01:00
Mathias Vorreiter Pedersen
30717310e7 Remove the dataflow library. 2021-10-15 12:40:49 +01:00
Anders Schack-Mulligen
b0bbbc54d0 New query: Don't use library annotation. 2021-10-15 13:35:25 +02:00
Erik Krogh Kristensen
1a79b13bdc fix performance 2021-10-15 13:32:39 +02:00
Taus
10aeadb889 Fix bad merge 2021-10-15 11:12:52 +00:00
Taus
e185382c41 Update bleeding-codeql-analysis.yml 2021-10-15 11:06:53 +00:00
Taus
1fb8a175f9 Merge branch 'main' into tausbn/add-override-test 2021-10-15 13:03:17 +02:00
Taus
ccaef199bf Ignore overridden predicates in consistency check 2021-10-15 10:58:38 +00:00
Mathias Vorreiter Pedersen
c9f80b1052 QL: Add query for using toString in query logic. 2021-10-15 11:57:55 +01:00
Mathias Vorreiter Pedersen
5c70c6a19b QL: Add dataflow library. 2021-10-15 11:57:30 +01:00
Taus
44fff659bd Fix dataset_measure.yml, hopefully 
Also I forgot to add `TreeSitter.qll` to the path for the build, whoops.
 2021-10-15 10:53:33 +00:00
Taus
2a0c29156f Update build.yml to supply generator args 2021-10-15 10:43:51 +00:00
Taus
bd5243884a Merge pull request #116 from github/erik-krogh/qlpack-test 
add test for qlpacks
 2021-10-15 12:33:34 +02:00
Taus
89d2f93a16 Merge branch 'main' into tausbn/update-extractor-generator 2021-10-15 12:28:01 +02:00
Anders Schack-Mulligen
6c70f5299d Remove some FPs. 2021-10-15 12:05:02 +02:00
Taus
5ef7b9797e Also update qltest.cmd 2021-10-15 09:34:14 +00:00
Taus
310ea6b69c 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