Commit Graph

19777 Commits

Author SHA1 Message Date
Geoffrey White
982fd522f1 CPP: Change note. 2018-10-23 13:05:43 +01:00
Geoffrey White
905336a625 CPP: Refine fix. 2018-10-23 13:05:42 +01:00
Geoffrey White
b861df0887 CPP: Fix issue when destructor body is missing. 2018-10-23 13:05:42 +01:00
Geoffrey White
5931a978dc CPP: Add a test of a template instantiation where the destructor is never called. 2018-10-23 13:05:42 +01:00
Geoffrey White
f20af4906b CPP: Add a test of a Shutdown / Clear method. 2018-10-23 13:05:42 +01:00
semmle-qlci
b1a463bf93 Merge pull request #349 from hvitved/csharp/extractor/no-global-json
Approved by calumgrant
2018-10-23 12:00:28 +01:00
Tom Hvitved
a3fafd9ad1 C#: Remove global.json 2018-10-23 11:51:27 +02:00
Aditya Sharad
c88db424fa Merge pull request #343 from geoffw0/av-35-1.18
CPP: Fix hasXMacro performance.
2018-10-23 10:24:16 +01:00
Max Schaefer
3522200e90 Merge pull request #342 from xiemaisi/rc/1.18-cherry-picks
JavaScript: 1.18.1 cherry-picks
2018-10-22 20:03:22 +01:00
Geoffrey White
de1556042a CPP: Fix hasXMacro performance. 2018-10-22 19:43:04 +01:00
Robert Marsh
f674d43ab1 Merge pull request #329 from geoffw0/overflowdest
CPP: Improve Overflowdest.ql
2018-10-22 10:51:41 -07:00
Robert Marsh
7bcc4379fc C++: accept loops with arbitrary labels or cases 2018-10-22 09:59:49 -07:00
Robert Marsh
4bed86f566 Merge pull request #313 from geoffw0/av-35
CPP: Fix hasXMacro performance.
2018-10-22 09:33:19 -07:00
Max Schaefer
212edc2e18 Merge pull request #307 from esben-semmle/js/unused-import
JS: make js/unused-local-variable flag import statements
2018-10-22 13:13:02 +01:00
Tom Hvitved
135271e9ad Merge pull request #287 from calumgrant/cs/lock-order
C#: Improvements to cs/inconsistent-lock-sequence
2018-10-22 14:11:20 +02:00
Max Schaefer
7702b58794 Merge pull request #305 from asger-semmle/json-taint-kind
JS: Add flow label for tainted objects and sharpen NosqlInjection
2018-10-22 11:58:50 +01:00
Dave Bartolomeo
dbae5c2d62 Update change-notes/1.19/analysis-cpp.md
Co-Authored-By: geoffw0 <geoffrey@semmle.com>
2018-10-22 11:50:18 +01:00
Max Schaefer
25224cc4a0 Revert "TypeScript: disable queries that rely on token information"
This reverts commit 003b600e24.
2018-10-22 11:06:11 +01:00
semmle-qlci
c78f3f8edf Merge pull request #336 from aschackmull/java/dataflow-cleanup
Approved by yh-semmle
2018-10-20 03:43:49 +01:00
semmle-qlci
465a55f8ac Merge pull request #333 from aschackmull/java/useless-comp-concurrent
Approved by yh-semmle
2018-10-20 01:37:13 +01:00
Raul Garcia
d5ed332bf5 Merge branch 'users/raulga/c6293a' of https://github.com/raulgarciamsft/ql into users/raulga/c6293a 2018-10-19 15:22:33 -07:00
Raul Garcia
2f4da8841f Changing the name (file & tags) to match the JS version. 2018-10-19 15:21:56 -07:00
Geoffrey White
ebeda2fb99 CPP: Change note. 2018-10-19 22:55:09 +01:00
Geoffrey White
5158984613 CPP: Fix the issue. 2018-10-19 22:51:35 +01:00
Geoffrey White
c97a5ed292 CPP: Add tests of AV Rule 114.ql with non-trivial return types. 2018-10-19 22:49:53 +01:00
calum
8c29d0eb0a C#: Address review comments. 2018-10-19 18:13:03 +01:00
calum
5a4af0c2b2 C#: Update test case for LockOrder. 2018-10-19 18:13:03 +01:00
calum
aab30ade93 C#: Restrict nested locks to static variables, and report the variable itself as well as the lock sequences in order to handle large numbers of results. 2018-10-19 18:13:03 +01:00
calum
4200c5b57c C#: Analysis change notes. 2018-10-19 18:13:03 +01:00
calum
5864e57398 C#: Improvements to LockOrder.ql. Detect inter-procedural locks, and tidy up the tests. 2018-10-19 18:11:49 +01:00
calum
61232cb08e C#: Address review comments in QL. 2018-10-19 16:33:04 +01:00
calum
6e96fba7f6 C#: Address review comments: Merge XML index commands. 2018-10-19 16:14:35 +01:00
Asger F
b72e2aa602 JS: address comments and introduce LabeledBarrierGuardNode 2018-10-19 15:26:52 +01:00
Anders Schack-Mulligen
6f11849fef Java: Add test. 2018-10-19 15:02:52 +02:00
Tom Hvitved
a683990bfd C#: Add change note 2018-10-19 14:42:03 +02:00
Tom Hvitved
515d6b6d26 C#: Detect constantly failing assertions in the CFG 2018-10-19 14:07:40 +02:00
Tom Hvitved
acea4ddfc4 C#: Introduce control flow exit completions 2018-10-19 14:07:35 +02:00
Tom Hvitved
0c1db6afc3 C#: Add more CFG tests
Added tests for exits inside `try` statements and constantly failing assertions.
2018-10-19 14:05:30 +02:00
Tom Hvitved
b233961a9a C#: Add assertion tests 2018-10-19 14:05:30 +02:00
calumgrant
6811d527e1 Merge pull request #327 from hvitved/csharp/compiler-flag-linux
C#: Pass `--compiler` flag to extractor on Linux
2018-10-19 11:18:46 +01:00
Geoffrey White
e9499b59e4 CPP: Exclude switch statements. 2018-10-19 10:24:29 +01:00
Geoffrey White
298ead162d CPP: Add more test cases for HResultBooleanConversion.ql. 2018-10-19 10:24:29 +01:00
Tom Hvitved
826d15e6c1 C#: Address review comments 2018-10-19 10:42:13 +02:00
Esben Sparre Andreasen
2e49cd117a JS: avoid flagging early returns in js/user-controlled-bypass
(cherry picked from commit ffbbb807f4)
2018-10-19 08:30:03 +01:00
Asger F
f9634040b0 TypeScript: add test case with mixed rescanned tokens
(cherry picked from commit 057af7c865)
2018-10-19 08:30:03 +01:00
Asger F
39c788f4f1 TypeScript: test case for tokens starting with ">"
(cherry picked from commit d3a1df644c)
2018-10-19 08:30:03 +01:00
Asger F
2abe34b2f9 TypeScript: test case for whitespace before a rescanned token
(cherry picked from commit a199035a05)
2018-10-19 08:30:03 +01:00
Asger F
cbf06ae74d TypeScript: test case for tokenization of template literals
(cherry picked from commit 9146cc26bd)
2018-10-19 08:30:03 +01:00
Asger F
4d7e762629 TS: test case for type expansion through type parameter bound
(cherry picked from commit 8bc92bd534)
2018-10-19 08:30:03 +01:00
Max Schaefer
374fd597d7 JavaScript: Reinstate override.
(cherry picked from commit df5a8651c3)
2018-10-19 08:30:03 +01:00