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
c1b011d47c
better type resolution of add expressions
2021-10-16 21:35:02 +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
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
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
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
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
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
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
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
Taus
7f80514144
Autoformat
2021-10-15 09:21:24 +00:00
Taus
816bfbe4ea
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
e3d42a1fba
remove leftover test predicate
2021-10-15 10:58:44 +02:00
Geoffrey White
ee7ac53bf6
Merge pull request #107 from github/missing-qldoc
...
Add ql/missing-qldoc query.
2021-10-15 09:41:45 +01:00
Taus
fed640b21f
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
e1871a2508
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
541dcb365f
hook up consistency query
2021-10-15 09:31:54 +02:00
Erik Krogh Kristensen
f19dd78d40
fix getArity on PredicateOrBuiltin
2021-10-15 09:31:53 +02:00
Erik Krogh Kristensen
c31bd7a1e8
fix the signature of regexpCapture and regexpFind
2021-10-15 09:31:31 +02:00
Erik Krogh Kristensen
016ff2af63
fix implicit this
2021-10-14 22:37:17 +02:00
Taus
71f69997e2
Autoformat
2021-10-14 16:06:19 +00:00
Taus
c6a52ed2ea
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
4016a8e458
QL: Add query for finding missing nomagic on candidate predicates.
2021-10-14 15:46:22 +01:00
Geoffrey White
0a3705b7af
Add ql/missing-qldoc query.
2021-10-14 15:45:03 +01:00
Mathias Vorreiter Pedersen
3e2fb5a64e
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
9b786c27c0
Fix isAbstract
2021-10-14 15:03:19 +01:00
Joe Farebrother
ec6a8b933c
Query for finding missing or unwanted bidirectional imports of abstract classes
2021-10-14 15:02:08 +01:00
Anders Schack-Mulligen
ec292dbffd
New performance query: Transitive step in recursion.
2021-10-14 15:42:40 +02:00
Geoffrey White
6af28e37ae
We can use PredicateOrBuiltin now.
2021-10-14 13:59:47 +01:00
