Michael Nebel 4c7cdc6245 Java: Remove unneeded imports of ExternalFlow.qll.

2022-12-05 09:49:38 +01:00

..

call-sensitivity

…

callback-dispatch

Java: Remove unneeded imports of ExternalFlow.qll.

2022-12-05 09:49:38 +01:00

callctx

Java: Add test for disjunctive type in call context.

2022-09-14 10:38:10 +02:00

capture

…

collections

Java: Remove unneeded imports of ExternalFlow.qll.

2022-12-05 09:49:38 +01:00

entrypoint-types

…

external-models

Java/Kotlin: Cleanup files needed for inline models.

2022-12-02 12:20:22 +01:00

fields

…

fluent-methods

…

getter

Java: Implement ContentSet

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

inoutbarriers

…

lambda

…

local-additional-taint

Java: Fix test.

2022-08-17 12:46:35 +02:00

local-flow

…

modulus-analysis

Java 17: exclude non-source locations in some tests

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

null

…

partial

Kotlin: Test tweaks for the diags consistency query

2022-10-25 16:26:11 +01:00

range-analysis

Java 17: exclude non-source locations in some tests

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

records

…

sign-analysis

…

state

Add implicit read FlowState test

2022-09-08 17:19:39 +02:00

stream-collect

Java: Add test for Stream.collect.

2022-10-13 11:17:44 +02:00

switchexpr

Add test

2022-03-31 12:26:38 +01:00

synth-global

Java: Convert all models to data extensions in testcases.

2022-11-28 12:30:36 +01:00

taint

Make taint flow through java.lang.String.(replace|replaceFirst|replaceAll) more permissive.

2022-08-19 17:33:35 +07:00

taint-format

…

taint-ioutils

…

taint-jackson

…

taintgettersetter

…

taintreturn

…

taintsources

clean up files

2022-09-23 18:59:27 -04:00

this-flow

…

typepruning

…