Pavel Avgustinov
c92eb58300
Add j2objc license
2019-08-17 16:31:18 +01:00
Pavel Avgustinov
b52ea1e21b
Add Apache Shiro third-party notice
2019-08-17 16:31:18 +01:00
Anders Schack-Mulligen
a50ea54ff6
Java: Fix tests.
2019-08-08 12:03:01 +02:00
Anders Schack-Mulligen
f8804943ee
Java: Change in/out barriers to be explicit in the configuration.
2019-08-05 12:05:12 +02:00
Anders Schack-Mulligen
d3c5644229
Java: Add support for in/out barriers on sources and sinks.
2019-07-26 11:52:55 +02:00
Anders Schack-Mulligen
3024b5cb9e
Java: Bugfix for flow through methods with taintstep and upcast.
2019-07-22 15:39:30 +02:00
Anders Schack-Mulligen
a583f000c1
Java: Fix tests.
2019-06-27 13:20:03 +02:00
yh-semmle
0fb323b5ff
Java: add QL library for modeling AndroidManifest.xml files
2019-06-10 12:59:47 -04:00
Anders Schack-Mulligen
0e12df0a15
Java: Add SwitchExpr support in Guards.qll
2019-06-04 16:03:23 +02:00
Anders Schack-Mulligen
48b19f1fea
Java: Replace ValidatedVariable with guarded accesses.
2019-05-20 16:46:11 +02:00
Anders Schack-Mulligen
f367427fb8
Java: Deprecate RemoteUserInput.
2019-05-06 13:43:58 +02:00
Anders Schack-Mulligen
dec31a3dd6
Java: Use range analysis in IntMultToLong.
2019-04-05 10:42:23 +02:00
Anders Schack-Mulligen
b1e364b56a
Java: Support precondition calls as guards.
2019-04-02 10:58:46 +02:00
yh-semmle
64b2d331ae
Java: add test for Guice framework support
2019-02-15 20:01:08 -05: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
3e8f7a740c
Merge pull request #838 from aschackmull/java/taint-collections
...
Java: Add additional taint steps through collections.
2019-02-05 09:59:24 -05:00
Anders Schack-Mulligen
a29f615da0
Java: Add additional taint steps through collections.
2019-01-28 14:34:09 +01:00
semmle-qlci
65b64c7c05
Merge pull request #645 from sb-semmle/configuration-file-library
...
Approved by yh-semmle
2019-01-26 02:06:16 +00:00
Sebastian Bauersfeld
170acd539c
Add tests for ConfigFiles library.
2019-01-23 19:35:20 -05: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
yh-semmle
b0364e3592
Merge pull request #729 from aschackmull/java/intmulttolong
...
Java: Restrict attention to integral types in IntMultToLong.
2019-01-08 14:40:22 -05:00
Anders Schack-Mulligen
06e48ca19f
Java: Update test.
2019-01-08 11:57:54 +01:00
Anders Schack-Mulligen
e0d3be7dbc
Java: Add .qlpath to the test dir.
2019-01-07 13:25:20 +01:00
Aditya Sharad
f92456fcad
Merge master into next.
...
Conflict in `cpp/ql/test/library-tests/sideEffects/functions/sideEffects.expected`,
resolved by accepting test output (combining changes).
2018-12-12 17:26:18 +00:00
Anders Schack-Mulligen
bfc7fb7c8a
Java: Change alert location for ConstantLoopCondition.
2018-12-10 12:37:11 +00:00
yh-semmle
c2116f0d91
Merge pull request #560 from aschackmull/java/normalize-parentheses
...
Java: Normalize parentheses.
2018-12-06 12:38:26 -05: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
ae44b90456
Java: Normalize parentheses.
2018-11-28 15:01:25 +01:00
Anders Schack-Mulligen
e2dd0ea083
Java: Add 2 double-checked-locking queries.
2018-11-28 13:52:34 +01:00
Pavel Avgustinov
16ec9f1aa4
Merge remote-tracking branch 'origin/next' into bump/master-next
2018-11-19 10:37:07 +00: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
Jonas Jensen
1500237009
Merge remote-tracking branch 'upstream/master' into mergeback-20181112
2018-11-12 13:24:27 +01:00
Aditya Sharad
761e5efd60
Merge master into next.
...
JavaScript semantic conflicts fixed by referring to the `LegacyLanguage` enum.
C++ conflicts fixed by accepting Qltest output.
2018-11-09 18:49:35 +00:00
Anders Schack-Mulligen
46bebc898a
Java: Add test.
2018-11-09 13:36:05 +01:00
Anders Schack-Mulligen
6f791bb530
Java: Account for extraction of calls to <obinit>.
2018-11-09 13:36:05 +01:00
Dave Bartolomeo
a141f4c81a
Allow mixed whitespace in C#, C++, and Java test sources
2018-11-08 11:06:42 -08: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
64a50c522d
Java: tweak a test
2018-11-05 12:10:08 -05: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
