Benjamin Muskalla 8e6a15640f Model basic channel APIs

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

..

A.java

Model taint for FilterOutputStream

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

B.java

Support missing String methods

2021-09-14 10:22:22 +02: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

Model basic channel APIs

2022-01-18 10:40:39 +01: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