Jonas Jensen
a98992f0f9
C#/C++/Java: distinguish toString of nil from cons
2019-09-02 14:22:03 +02:00
Jonas Jensen
6c96a8d339
Java: Accept test changes
...
Note: the results in `partial` have regressed and will need to be fixed
in a follow-up commit.
2019-09-02 13:14:17 +02:00
Luke Cartey
dfa371c65b
Java: Add missing SQL query APIs.
...
* executeLargeUpdate
* prepareCall
2019-08-30 10:40:49 +01:00
Anders Schack-Mulligen
a50ea54ff6
Java: Fix tests.
2019-08-08 12:03:01 +02:00
Anders Schack-Mulligen
a583f000c1
Java: Fix tests.
2019-06-27 13:20:03 +02:00
Anders Schack-Mulligen
48b19f1fea
Java: Replace ValidatedVariable with guarded accesses.
2019-05-20 16:46:11 +02:00
Anders Schack-Mulligen
dec31a3dd6
Java: Use range analysis in IntMultToLong.
2019-04-05 10:42:23 +02:00
Anders Schack-Mulligen
52ad816074
Merge pull request #904 from rneatherway/zipslip-fix
...
Java: Add a flow step for `Path::toFile` in ZipSlip
2019-02-11 13:08:38 +01:00
Robin Neatherway
409733838b
Java: Add a flow step for Path::toFile in ZipSlip
2019-02-11 10:33:44 +00:00
Henning Makholm
b8a03464bf
Fix false positives in java/unused parameter
...
Methods that are mentioned in a member reference expression should count
as rootdefs for the unused parameter query. Such methods have to match
the functional interface of the reference expression, so it is to be
expected that they will sometimes have to declare parameters that they
don't actually use.
2019-02-07 21:14:36 +01:00
yh-semmle
23e94c23e3
Merge pull request #786 from aschackmull/java/double-checked-locking
...
Java: Fix FP in DoubleCheckedLocking.ql
2019-01-22 17:39:54 -05:00
Anders Schack-Mulligen
17b4276699
Java: Fix bug in qltest and query for immutable types.
2019-01-18 11:37:38 +01:00
Henning Makholm
26b6581bdb
test example for ODASA-6859
2019-01-17 23:30:39 +01:00
Anders Schack-Mulligen
944c082a8d
Java: Fix FP in DoubleCheckedLocking.ql
2019-01-17 16:38:25 +01:00
Anders Schack-Mulligen
06e48ca19f
Java: Update test.
2019-01-08 11:57:54 +01:00
Anders Schack-Mulligen
bfc7fb7c8a
Java: Change alert location for ConstantLoopCondition.
2018-12-10 12:37:11 +00:00
yh-semmle
00779c518c
Merge pull request #611 from aschackmull/java/usessl-fp-fix
...
Java: Fix FP in `UseSSL.ql`.
2018-12-04 19:31:53 -05:00
Anders Schack-Mulligen
d3fcfb0957
Java: Fix FP in UseSSL.
2018-12-04 17:44:05 +01:00
Anders Schack-Mulligen
e2dd0ea083
Java: Add 2 double-checked-locking queries.
2018-11-28 13:52:34 +01:00
Anders Schack-Mulligen
deb61d6f29
Java: Update test output.
2018-11-16 13:48:50 +01:00
Anders Schack-Mulligen
411891c303
Java: Don't inherit methods from co-/contra-variant supertypes.
2018-11-13 14:56:22 +01:00
Anders Schack-Mulligen
2004445817
Merge pull request #409 from yh-semmle/java/move-tests
...
Java: move/tweak some tests
2018-11-06 16:38:03 +01:00
yh-semmle
c0fcf7fc9b
Java: move a few more tests
2018-11-05 12:08:43 -05:00
yh-semmle
f3fbc8a153
Java: move a few tests
2018-11-05 12:08:42 -05:00
Anders Schack-Mulligen
c3f71c2d42
Java: Change main ZipSlip location to the source.
2018-10-31 11:38:28 +01:00
Anders Schack-Mulligen
4953e4923a
Java: Add test for sanitization using toAbsolutePath().
2018-10-31 11:38:27 +01:00
Anders Schack-Mulligen
bf6b7c4734
Java: Add ZipSlip query.
2018-10-31 11:38:27 +01:00
semmle-qlci
7b84f5b1fd
Merge pull request #372 from aschackmull/java/rangeanalysis-array-phinodes
...
Approved by yh-semmle
2018-10-29 13:02:58 +00:00
semmle-qlci
c2e7627f61
Merge pull request #351 from nystrom/master
...
Approved by pavgust
2018-10-26 19:09:02 +01:00
Anders Schack-Mulligen
3d81328c41
Java: Improve array length bounds on array phi nodes that may be null.
2018-10-26 11:18:31 +02:00
Anders Schack-Mulligen
42e659c645
Java: Minor fixups.
2018-10-25 14:30:40 +02:00
Anders Schack-Mulligen
8a27c09447
Java: Add .expected file.
2018-10-25 14:12:50 +02:00
Anders Schack-Mulligen
8fe1634fcc
Java: Add test.
2018-10-25 13:00:15 +02:00
Nate Nystrom
33ba814551
fixed mixed tabs and spaces
2018-10-24 17:37:18 +02:00
Nate Nystrom
4ebfb019d8
ref to NumberFormatException.ql
2018-10-24 15:49:25 +02:00
Nate Nystrom
8228b46223
test case for NumberFormatException
2018-10-24 15:48:56 +02:00
Anders Schack-Mulligen
6f11849fef
Java: Add test.
2018-10-19 15:02:52 +02:00
semmle-qlci
3af91d5d0a
Merge pull request #301 from aschackmull/java/modulus-analysis
...
Approved by yh-semmle
2018-10-18 08:24:32 +01:00
Anders Schack-Mulligen
26009065af
Java: Fix regression.
2018-10-16 11:29:15 +02:00
Anders Schack-Mulligen
dd5a8f0c14
Java: Autoformat most queries.
2018-10-11 11:31:37 +02:00
Anders Schack-Mulligen
5c53249612
Java: Add ModulusAnalysis.
2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
a78a0b52ec
Java: Add test.
2018-10-11 11:26:17 +02:00
yh-semmle
001b9f8b56
Java: account for generic exceptions in java/unreachable-catch-clause
2018-10-09 21:15:45 -04:00
Dave Bartolomeo
1f36f5552f
Normalize all text files to LF
...
Use `* text=auto eol=lf`
2018-09-23 16:24:31 -07:00
Dave Bartolomeo
26abf5d4a2
Force LF for basically everything.
2018-09-23 16:24:31 -07:00
Anders Schack-Mulligen
b9acdf573a
Java: Update qltest.
2018-09-13 10:18:09 +02:00
Pavel Avgustinov
846c9d5860
Migrate Java code to separate QL repo.
2018-08-30 10:48:05 +01:00