Jonathan Leitschuh fc71ca747d Java: Track taint through java.io.File::toPath & java.nio.file.Path::toFile

2020-10-13 21:15:09 -04:00

..

A.java

Java: Improve taint step modeling to use postupdate nodes.

2020-02-05 15:33:29 +01:00

B.java

Java: Track taint through java.io.File::toPath & java.nio.file.Path::toFile

2020-10-13 21:15:09 -04:00

MethodFlow.java

Java: Move some taint tests.

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

StringBuilderTests.java

Java: Move some taint tests.

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

test.expected

Java: Track taint through java.io.File::toPath & java.nio.file.Path::toFile

2020-10-13 21:15:09 -04: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