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
Geoffrey White
ee7ac53bf6
Merge pull request #107 from github/missing-qldoc
...
Add ql/missing-qldoc query.
2021-10-15 09:41:45 +01:00
Erik Krogh Kristensen
e6b07070f6
Merge pull request #102 from github/esbena/simple-codeql-action
...
make another codeql-action workflow that uses a published pack
2021-10-15 10:32:19 +02: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
29ebe7b13d
add test
2021-10-15 09:31:54 +02:00
Erik Krogh Kristensen
1641d0fa93
update expected output
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
Mathias Vorreiter Pedersen
50e80dc8b7
Merge pull request #113 from github/erik-krogh/fix-implcit-this
...
fix implicit this
2021-10-15 08:28:19 +01: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
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
Anders Schack-Mulligen
ec292dbffd
New performance query: Transitive step in recursion.
2021-10-14 15:42:40 +02:00
Esben Sparre Andreasen
ab11bce776
document usage
2021-10-14 15:34:54 +02:00
Geoffrey White
76880e8f93
Autoformat and fix test.
2021-10-14 14:31:42 +01:00
Esben Sparre Andreasen
d23de3dcd8
make another codeql-action workflow that uses a published pack
2021-10-14 15:29:06 +02:00
Geoffrey White
6af28e37ae
We can use PredicateOrBuiltin now.
2021-10-14 13:59:47 +01:00
Geoffrey White
9b52ad2d3d
Work around import of internal file.
2021-10-14 13:59:40 +01:00
Geoffrey White
a665e94805
Merge branch 'main' into use-set-literal
2021-10-14 13:55:40 +01:00
Mathias Vorreiter Pedersen
78caab4214
Merge pull request #81 from github/doc-style
...
Add some queries for qldoc style
2021-10-14 13:46:48 +01:00
Mathias Vorreiter Pedersen
9a15feae29
Merge pull request #89 from github/esbena/proper-bundle
...
Attempt to use a proper query pack
2021-10-14 13:24:14 +01:00
Esben Sparre Andreasen
a64660aae1
build a query pack separately, with a compilation cache
2021-10-14 14:09:01 +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
Joe Farebrother
b4a05804fa
Also allow deprecated headers
2021-10-14 12:09:19 +01:00
Joe Farebrother
0f71066aaa
Allow comments preceded by INTERNAL
2021-10-14 12:09:19 +01:00
Joe Farebrother
fd3c53da9b
Add query for class docs that don't start with an article.
...
Returns quite a few results, many of which seem to be TPs.
2021-10-14 12:09:18 +01:00
Joe Farebrother
323ccc8cea
Add query to find non US spelling
2021-10-14 12:09:18 +01: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
Mathias Vorreiter Pedersen
3d0917e6fc
Merge pull request #96 from github/erik-krogh/dont-use-getaqlclass
...
add query to detect uses of getAQlClass
2021-10-14 12:06:00 +01: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
486fc453e7
Merge pull request #99 from github/missing-noinline
...
Add query: Missing `noinline`
2021-10-14 11:37:16 +01: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
