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 |
|
Max Schaefer
|
b0425a298c
|
JavaScript: Eliminate slow antijoin predicate.
(cherry picked from commit 0cfd04dfa2)
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
5167d43fbc
|
JavaScript: Refactor AnalyzedPropertyWrite::writes to enable correct modelling of variable exports.
(cherry picked from commit 080f974663)
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
898ba94837
|
JavaScript: Address review comments.
(cherry picked from commit 6835815673)
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
2b7d69aaf4
|
JavaScript: Add support for Google Cloud Spanner.
(cherry picked from commit cd284b2f97)
|
2018-10-19 08:30:03 +01:00 |
|
Tom Hvitved
|
b282444740
|
Revert "JavaScript: Patch CFG to improve support for non-top level import declarations."
This reverts commit f05e777e64.
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
5e75a62f5c
|
JavaScript: Add test case for type inference in the presence of non-toplevel imports.
(cherry picked from commit 8b7bb8cecc)
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
e683b51611
|
JavaScript: Generalise code that assumes imports only appear at the toplevel.
(cherry picked from commit db32dc2bdf)
|
2018-10-19 08:30:03 +01:00 |
|
Max Schaefer
|
de108a843d
|
JavaScript: Patch CFG to improve support for non-top level import declarations.
|
2018-10-19 08:30:03 +01:00 |
|
Raul Garcia
|
8138a3be07
|
Update .gitignore
|
2018-10-18 14:45:09 -07:00 |
|
Raul Garcia
|
e2fcaa9e20
|
Fixing typos & implementing the PR feedback
|
2018-10-18 14:44:24 -07:00 |
|
Robert Marsh
|
36a1ac52ac
|
Merge pull request #331 from geoffw0/av-35b
CPP: Speed up startsWithIfndef.
|
2018-10-18 14:22:37 -07:00 |
|
Dave Bartolomeo
|
ce99f469a9
|
Update cpp/ql/src/Likely Bugs/Likely Typos/illDefinedForLoop.ql
|
2018-10-18 12:02:06 -07:00 |
|
Nick Rolfe
|
121596dfe6
|
Merge pull request #317 from ian-semmle/discover_walk
C++: Test changes for discover_walk
|
2018-10-18 16:51:23 +01:00 |
|
semmle-qlci
|
4dd868fb3d
|
Merge pull request #334 from aschackmull/java/autoformat-rangeanalysis
Approved by yh-semmle
|
2018-10-18 15:38:33 +01:00 |
|
Anders Schack-Mulligen
|
0b46ffa7d7
|
Java/CPP: Sync files.
|
2018-10-18 15:10:23 +02:00 |
|
Anders Schack-Mulligen
|
bf58b6c9ab
|
Java: Remove self-ref tracking; improve AccessPath.toString on numbers.
|
2018-10-18 15:05:04 +02:00 |
|
Ian Lynagh
|
ef1552339e
|
C++: Enhance MagicConstantsNumbers test
|
2018-10-18 12:36:42 +01:00 |
|
Ian Lynagh
|
894a37ccda
|
C++: Accept test changes
|
2018-10-18 12:36:42 +01:00 |
|
Ian Lynagh
|
1b7961367a
|
C++: Enhance a test
|
2018-10-18 12:36:42 +01:00 |
|