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
Taus
37e9024343
QL: Query: Noninitial imports of the standard library
...
Finds a single result in
```
semmle.code.java.dataflow.internal.rangeanalysis.SignAnalysisSpecific.qll
```
which starts with
```ql
module Private {
import semmle.code.java.dataflow.RangeUtils as RU
private import semmle.code.java.dataflow.SSA as Ssa
private import semmle.code.java.controlflow.Guards as G
private import java as J
private import Sign
...
```
2021-10-14 15:44:23 +00:00
Mathias Vorreiter Pedersen
187c24e260
QL: QL: Add query for finding missing nomagic on candidate predicates.
2021-10-14 15:46:22 +01:00
Geoffrey White
ecf27ff24b
QL: Add ql/missing-qldoc query.
2021-10-14 15:45:03 +01:00
Mathias Vorreiter Pedersen
9330fa0f69
QL: Merge pull request #105 from github/aschackmull/transitive-step
...
New performance query: Transitive step in recursion.
2021-10-14 15:28:33 +01:00
Joe Farebrother
be36de9b0a
QL: Fix isAbstract
2021-10-14 15:03:19 +01:00
