Michael Nebel a95aad51bd Merge pull request #13546 from michaelnebel/java/withoutelement ...

Java: Support for With[out]Element for MaD.

2023-08-15 10:03:03 +02:00

..

call-sensitivity

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

callback-dispatch

Java: Rewrite inline expectation tests to use parameterized module

2023-06-09 10:42:17 +02:00

callctx

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

capture

Java: Add another test case.

2023-08-08 10:00:55 +02:00

collections

Java: Make a flow summary for Set.clear using WithoutElement and introduce appropriate tests.

2023-08-08 11:10:08 +02:00

entrypoint-types

Java: Rewrite inline expectation tests to use parameterized module

2023-06-09 10:42:17 +02:00

external-models

Fix addsTo.pack references

2023-05-29 13:45:41 -07:00

field-value

Add tests

2023-07-26 14:13:43 +02:00

fields

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

fluent-methods

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

getter

Java: Implement ContentSet

2022-04-04 13:51:44 +02:00

inoutbarriers

Java: Rename references.

2023-03-23 13:06:19 +01:00

lambda

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

local-additional-taint

Java: Fix test

2023-06-12 13:18:13 +02:00

local-flow

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

modulus-analysis

Java 17: exclude non-source locations in some tests

2022-08-09 11:50:54 +01:00

null

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

partial

Update partial flow test expectations

2023-07-26 09:32:13 +02:00

range-analysis

Java: Adjust test expectation.

2023-03-28 14:00:25 +02:00

records

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00

sign-analysis

Fix additional PR review findings

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

state

Java: Rewrite inline expectation tests to use parameterized module

2023-06-09 10:42:17 +02:00

stream-collect

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

stream-read

Java: update fixed test

2023-08-03 10:07:00 +02:00

switchexpr

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00

synth-global

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

taint

Fix test comments

2023-04-26 10:08:18 +02:00

taint-format

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

taint-gson

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

taint-ioutils

Refactor dataflow library tests

2023-04-17 23:48:06 -04:00

taint-jackson

Java: Rewrite InlineFlowTest as a parameterized module

2023-06-15 10:52:10 +02:00

taintgettersetter

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00

taintreturn

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00

taintsources

Java: Model the Stapler framework

2023-06-14 12:34:52 +02:00

this-flow

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00

threat-models

Java: Address review comments.

2023-08-04 13:47:30 +02:00

typepruning

Refactor tests which extends Configuration

2023-04-17 23:48:06 -04:00