Erik Krogh Kristensen
64bcc10af3
remove redundancy in qhelp
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
666e11a506
apply suggestions from code review
...
Co-Authored-By: Esben Sparre Andreasen <42067045+esben-semmle@users.noreply.github.com >
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
1c424310ae
revert the last small change to ExprHasNoEffect.qll
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
34d0f72706
small refactor and added docstring based on code review
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
92623a3e32
cleanup and refactor of promise case based on code-review
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
0b48999718
refactored the attribute checks based on code-review
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
1bbe1ecdba
the js/use-of-returnless-function query now support multiple callees
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
7025ba36c0
refactor of js/use-of-returnless-function
2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen
00bf82d3c7
small changes to benignContext predicate based on code review
2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen
dedae5ba1d
refactor isExplicitConditional into a library file, and use it from js/use-of-returnless-function
2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen
bda37b6d6f
refactor of benignContext predicate based on code review
2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen
cdde8aea58
revert changes to js/useless-expression
2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen
be18adca3c
update description in change-notes
2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen
9788b16dee
add change note for js/use-of-returnless-function
2019-10-08 11:54:08 +02:00
Erik Krogh Kristensen
bed14244ae
add query for detecting uses return-values from functions that does not return a value
2019-10-08 11:53:14 +02:00
Anders Schack-Mulligen
20084fb3c0
Java: Fix pruning in partialPathStep.
2019-10-08 11:28:53 +02:00
Anders Schack-Mulligen
bf14889077
Java: Refactor to improve performance.
2019-10-08 11:28:35 +02:00
Esben Sparre Andreasen
24a5301d87
Merge pull request #2056 from erik-krogh/suspiciousMethodName
...
JS: add query for detecting suspicious method names in TypeScript
2019-10-08 10:49:57 +02:00
Robert Marsh
7fa367d6cf
C++: autoformat
2019-10-07 16:37:35 -07:00
Robert Marsh
d8f539d78b
C++/Docs: Add guides to advanced AST libraries
2019-10-07 16:14:10 -07:00
Robert Marsh
5c084f8b39
C++: respond to more PR comments
2019-10-07 14:17:56 -07:00
Robert Marsh
b60e7c204d
C++: autoformat and accept test output
2019-10-07 14:07:25 -07:00
Asger F
d0cce12db9
JS: Bump extractor version
2019-10-07 16:51:57 +01:00
Asger F
52bd19b951
JS: Run Java formatter
2019-10-07 16:51:57 +01:00
Asger F
316580334a
TS: Fix extraction of default-exported class
2019-10-07 16:46:59 +01:00
Calum Grant
d6bbc51996
C#: Autoformat QL.
2019-10-07 16:10:46 +01:00
Calum Grant
d5a48a34e6
C#: Remove redundant test for indexers. Tested in library-tests\overrides.
2019-10-07 15:56:36 +01:00
semmle-qlci
ff5a98b260
Merge pull request #2074 from taus-semmle/python-unreachable-nonlocal
...
Approved by RasmusWL
2019-10-07 15:45:24 +01:00
semmle-qlci
e36e16af48
Merge pull request #2079 from taus-semmle/python-unused-local-nonlocal
...
Approved by RasmusWL
2019-10-07 15:38:21 +01:00
Anders Schack-Mulligen
3c4e877913
Java: Minor refactor.
2019-10-07 16:18:48 +02:00
Anders Schack-Mulligen
f8123679a1
Java: Qldoc updates.
2019-10-07 16:12:31 +02:00
Anders Schack-Mulligen
38aba7bfc1
Java: Fix qltest.
2019-10-07 15:51:42 +02:00
Anders Schack-Mulligen
75ebc098bb
Java: Fix semantic merge conflict.
2019-10-07 15:42:26 +02:00
Asger F
8fcf0ed30c
JS: Update Angular/JQLiteObject test
2019-10-07 14:31:09 +01:00
Anders Schack-Mulligen
b581e38782
Java: Autoformat and sync post rebase.
2019-10-07 15:26:39 +02:00
Cornelius Riemenschneider
9ef61bd43c
Address more parts of Anders review.
2019-10-07 15:19:20 +02:00
Erik Krogh Kristensen
3a55880d51
update expected output for js/suspicious-method-name-declaration
2019-10-07 15:18:37 +02:00
Cornelius Riemenschneider
812a0bcb16
Address some parts of Anders' review.
2019-10-07 15:17:17 +02:00
Cornelius Riemenschneider
0f5dd5d7c7
Add one more test with a more complicated guard.
2019-10-07 15:14:42 +02:00
Cornelius Riemenschneider
393fb02dfa
Fix undesirable join order.
2019-10-07 15:14:41 +02:00
Tom Hvitved
ee5503146e
Add stub implementations for isUnreachableInCall()
2019-10-07 15:13:49 +02:00
Tom Hvitved
eabfa31767
Synchronize data flow files
2019-10-07 15:13:48 +02:00
Tom Hvitved
46933ef65e
Java: Autoformat
2019-10-07 15:12:13 +02:00
Cornelius Riemenschneider
d79eaffd3a
Prune unreachable paths in the Java dataflow library based on call context.
...
We now detect patterns like
f(bool cond){
if(cond)
then A
else B
and prune branches for calls like f(true) or f(false).
This pruning is done both in the local (bigstep) flow graph
as well as in the inter-procedural dataflow graph.
2019-10-07 15:10:54 +02:00
Cornelius Riemenschneider
dba93b30e7
Add tests exhibiting false positives in the dataflow library, where call context is not used to prune branches.
2019-10-07 14:59:55 +02:00
Rasmus Wriedt Larsen
3f45d8614b
Merge pull request #2047 from taus-semmle/python-modernise-and-fix-cyclic-import-fp
...
Python: modernise and fix cyclic import false positive.
2019-10-07 14:28:36 +02:00
semmle-qlci
fbb7747bd1
Merge pull request #2073 from hvitved/csharp/splitting-joins
...
Approved by calumgrant
2019-10-07 12:22:57 +01:00
Asger F
755f76a308
JS: Mention the ::Range classes
2019-10-07 08:29:42 +01:00
Asger F
34b4eb69db
JS: Cache JSDocTypeExpr.resolvedName()
2019-10-07 08:29:42 +01:00
Asger F
c1e9eec267
JS: Modernize jQuery attribute defs
2019-10-07 08:29:42 +01:00