Anders Schack-Mulligen d1f30d9164 Java: Autoformat.

2021-03-15 15:28:04 +01:00

..

call-sensitivity

…

callctx

Java: Use the instance argument type in call contexts.

2020-08-20 15:17:04 +02:00

capture

Java: fix javac errors in test code

2021-02-09 09:16:57 -05:00

collections

Drop Map.merge as taint step

2020-07-10 13:00:14 +02:00

external-models

Java: More documentation and support for field writes.

2021-02-18 11:18:31 +01:00

fields

Java: Implement clearsContent()

2020-06-23 10:55:12 +02:00

fluent-methods

Replace hasTaintFlow=y with hasTaintFlow everywhere

2021-03-08 11:57:35 +00:00

getter

Dataflow: Fix qltest.

2020-06-17 17:23:35 +02:00

inoutbarriers

…

lambda

Java: Autoformat.

2021-03-15 15:28:04 +01:00

local-additional-taint

Merge pull request #3936 from aibaars/object-clone

2020-07-09 16:09:01 +02:00

local-flow

Apply suggestions from code review

2020-07-08 13:30:24 +02:00

modulus-analysis

C#: Use CFG nodes instead of AST nodes in sign/modulus analysis

2020-10-14 13:39:44 +02:00

null

…

partial

Dataflow: Code review fixes.

2020-11-03 09:16:20 +01:00

range-analysis

Java: Fix range analysis false negative

2020-09-15 12:09:05 +02:00

records

Java 15: adjust test options

2020-11-26 00:14:24 -05:00

sign-analysis

Fix additional PR review findings

2020-10-02 09:12:13 +02:00

switchexpr

…

taint

Java: fix javac errors in test code

2021-02-09 09:16:57 -05:00

taint-format

Java 15: adjust test options

2020-11-26 00:14:24 -05:00

taint-ioutils

Java: fix javac errors in test code

2021-02-09 09:16:57 -05:00

taint-jackson

Java: fix javac errors in test code

2021-02-09 09:16:57 -05:00

taintgettersetter

…

taintreturn

…

taintsources

Merge pull request #4299 from torque59/play-framework

2021-03-05 10:51:53 +01:00

this-flow

…

typepruning

…