Mark Shannon
1d269b0cd5
Python: Add extra test for pruning.
2019-06-14 09:59:28 +01:00
Felicity Chapman
f6aa9b648b
Add footnote about the Maven Compiler and Takari Lifecycle plugins
2019-06-14 08:56:42 +01:00
Jonas Jensen
41d5d5ab86
Merge pull request #1438 from geoffw0/assignedvalue
...
CPP: Support for aggregate initializers in getAnAssignedValue()
2019-06-14 00:37:46 -07:00
Denis Levin
7ff8fcd50e
Some more typo fixes and a fix to test files
2019-06-13 17:16:30 -07:00
Denis Levin
ad489db815
Corrections related to the review comments.
2019-06-13 13:04:42 -07:00
Mark Shannon
30e1cbc5fc
Python: Remove Value.getSource(). It has no use.
2019-06-13 18:23:54 +01:00
Mark Shannon
00fa80346b
Python (pruning): Fix up handling of integer inequality.
2019-06-13 18:20:15 +01:00
Mark Shannon
a3d50e88cd
Python (pruning): Refactor a bit and all comments for clarity.
2019-06-13 17:42:53 +01:00
Mark Shannon
e1fb1d27a1
Python: Fix logic in pruning for tests like 'x != 0' as that does not imply that 'x is None' is false.
2019-06-13 17:26:43 +01:00
Geoffrey White
37a1c48071
CPP: Optimize AV Rule 71.ql.
2019-06-13 15:30:56 +01:00
Max Schaefer
b9703b70ed
Merge pull request #1452 from markshannon/merge-121
...
Merge rc/1.21 into master.
2019-06-13 15:05:09 +01:00
Calum Grant
8354f813f7
Merge pull request #1419 from hvitved/csharp/stubs
...
C#: Improvements to `Stubs.qll`
2019-06-13 14:17:24 +01:00
Taus
635de7cbe9
Merge pull request #1440 from markshannon/python-sanity-improvements
...
Python sanity improvements
2019-06-13 14:59:43 +02:00
Mark Shannon
660eda9f81
Python: Remove redundant override.
2019-06-13 12:41:56 +01:00
Mark Shannon
77030c4dde
Merge branch 'rc/1.21' into 'master'
2019-06-13 12:32:45 +01:00
Mark Shannon
4a4ed69ade
Python: Make sure that all Modules and ModuleObjects (even unused packages) have a working toString().
2019-06-13 12:22:38 +01:00
Tom Hvitved
8c8929a702
C#: Move two predicates from csharp/Element.qll to dotnet/Element.qll
2019-06-13 13:00:18 +02:00
semmle-qlci
8a43fdc806
Merge pull request #1448 from xiemaisi/js/fix-access-paths-perf-regression
...
Approved by esben-semmle
2019-06-13 10:13:27 +01:00
semmle-qlci
bffc3307b5
Merge pull request #1450 from esben-semmle/js/classify-json-js-as-generated
...
Approved by xiemaisi
2019-06-13 09:45:37 +01:00
Anders Schack-Mulligen
37931a92e2
Merge pull request #1383 from yh-semmle/java-dbscheme-diagnostics
...
Java: add compilation/diagnostic relations to dbscheme
2019-06-13 10:13:40 +02:00
yh-semmle
32f48f4351
Java: add db stats for compilation/diagnostic relations
2019-06-12 17:21:35 -04:00
yh-semmle
ca7a5b3926
Java: add compilation/diagnostic relations to dbscheme
2019-06-12 17:21:34 -04:00
semmle-qlci
7332446ee1
Merge pull request #1444 from esben-semmle/js/express-node-inheritance
...
Approved by xiemaisi
2019-06-12 21:43:44 +01:00
semmle-qlci
913544600a
Merge pull request #1449 from xiemaisi/js/fix-http-response-sink-perf-regression
...
Approved by esben-semmle
2019-06-12 21:36:23 +01:00
Ziemowit Laski
88a39d9454
[CPP-370] Fix up // GOOD and // BAD test annotations so that they're consistent.
2019-06-12 12:56:11 -07:00
Taus
e1b61d3163
Merge pull request #1423 from markshannon/python-extend-api
...
Python: Extend the object API.
2019-06-12 17:24:20 +02:00
Max Schaefer
60964efce5
JavaScript: Avoid bad context pushing in ReflectedXss::HttpResponseSink.
2019-06-12 16:20:35 +01:00
Tom Hvitved
946be967f8
C#: Break up a big cached stage into multiple stages
...
- Add `Caching.qll` for controlling caching across multiple files.
- Move `isUncertainRefCall()` out of cached module in `Assignable.qll` to avoid
collapsing with CFG stage.
- Remove dependency on `AlwaysNullExpr` in `NullValue::getAnExpr()` to avoid
collapsing with CFG stage.
- Avoid caching pre-SSA library as it should only be used during the CFG construction
stage.
2019-06-12 16:05:45 +02:00
Mark Shannon
97294e16e0
Python: Update tests to account for improved API.
2019-06-12 15:00:20 +01:00
Mark Shannon
3b31b9cf58
Python: Extend object API. Clearly differentiate between what an object is called, and what it is named.
2019-06-12 14:59:39 +01:00
yh-semmle
547bd584a0
Merge pull request #1447 from aschackmull/java/equals-type-test
...
Java: Improve precision of java/unchecked-cast-in-equals
2019-06-12 09:49:18 -04:00
Mark Shannon
0b7d73456e
Remove incorrect metadata from test query.
2019-06-12 14:31:21 +01:00
semmle-qlci
42ab0fff4a
Merge pull request #1445 from esben-semmle/mb/rc-1.21/06-12
...
Approved by aschackmull, jbj, xiemaisi
2019-06-12 14:00:33 +01:00
Anders Schack-Mulligen
c199f2e8fe
Java: Improve precision of MissingInstanceofInEquals.ql
2019-06-12 14:05:42 +02:00
Tom Hvitved
8e38511aeb
C#: Address review comments
2019-06-12 13:21:49 +02:00
Esben Sparre Andreasen
3f11ae7eaa
Merge remote-tracking branch 'rc/1.21' into master
2019-06-12 12:57:55 +02:00
Esben Sparre Andreasen
6e022f66c4
JS: formatting of Express and NodeJSLib.qll
2019-06-12 12:45:01 +02:00
Esben Sparre Andreasen
59b7b0757a
JS: make Express' res/req extend Node's res/req
2019-06-12 12:45:01 +02:00
Anders Schack-Mulligen
cc70817a61
Merge pull request #1437 from jbj/bb-shortestDistances
...
C++: use shortestDistances in PrimitiveBasicBlocks
2019-06-12 11:31:07 +02:00
Calum Grant
02875721df
C#: Address review comment.
2019-06-12 09:50:03 +01:00
Esben Sparre Andreasen
29f9103b39
JS: classify single-line JSON files as generated
2019-06-12 09:05:12 +02:00
Tom Hvitved
a25acd0128
Merge pull request #1441 from calumgrant/cs/nullable-warning-expressions
...
C#: Extract SuppressNullableWarning expressions
2019-06-11 19:36:24 +02:00
Taus
83cbad9a9d
Merge pull request #1442 from markshannon/python-fixup-six-test-results
...
Python: fixup test results for https://github.com/Semmle/ql/pull/1433
2019-06-11 17:35:30 +02:00
Mark Shannon
0c02d3deef
Python: Fix up expected test results for six test.
2019-06-11 15:44:44 +01:00
Calum Grant
3c7510b44b
C#: Analysis change notes.
2019-06-11 15:20:27 +01:00
Calum Grant
d055c85ff0
C#: Exclude case from cs/dispose-not-called-on-throw where the disposable is disposed by a UsingStmt, even when explicitly disposed.
2019-06-11 15:20:27 +01:00
Calum Grant
b9d2fc3380
C#: DB upgrade script and stats.
2019-06-11 15:04:39 +01:00
semmle-qlci
821d8c9dd2
Merge pull request #1436 from yh-semmle/java-android-manifest
...
Approved by aschackmull
2019-06-11 14:04:21 +01:00
Jonas Jensen
32122e86b0
C++: use plain recursion in PrimitiveBasicBlocks
...
It's sometimes faster but sometimes up to 2x slower to use plain
recursion here. On the other hand, plain recursion won't run out of Java
heap space, and it won't make unrelated computation slower by forcing
all RAM data out to disk.
2019-06-11 14:30:21 +02:00
Calum Grant
40481fbf9d
C#: Make SuppressNullableWarningExpr a nonNullValue, and add a test.
2019-06-11 12:45:50 +01:00