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

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

..

A.java

Model taint for FilterOutputStream

2021-11-09 14:21:50 +01:00

B.java

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

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

CharSeq.java

Support CharSequence#toString

2021-11-10 16:30:20 +01:00

JavaIo.java

Model basic channel APIs

2022-01-18 10:40:39 +01:00

MethodFlow.java

Java: Move some taint tests.

2020-02-04 13:21:31 +01:00

StringBuilderTests.java

Added test cases

2022-01-12 11:06:58 +01:00

test.expected

Add corresponding taint steps.

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

test.ql

Java: Improve taint for OutputStream.write and InputStream.read.

2020-01-30 14:29:56 +01:00

Varargs.java

Java: Move some taint tests.

2020-02-04 13:21:31 +01:00