yo-h
|
e194411cfa
|
Java: fix javac errors in test code
|
2021-02-09 09:16:57 -05:00 |
|
Jonathan Leitschuh
|
fc71ca747d
|
Java: Track taint through java.io.File::toPath & java.nio.file.Path::toFile
|
2020-10-13 21:15:09 -04:00 |
|
Daniel Beck
|
0c70be145f
|
Track taint through java.io.File constructor and #toURI; URI#toURL
|
2020-10-10 20:54:55 +02:00 |
|
Anders Schack-Mulligen
|
ba86dea657
|
Java: Improve taint step modeling to use postupdate nodes.
|
2020-02-05 15:33:29 +01:00 |
|
Anders Schack-Mulligen
|
2b1723dd88
|
Java: Move some taint tests.
|
2020-02-04 13:21:31 +01:00 |
|
Anders Schack-Mulligen
|
9bea581a23
|
Java: Improve taint for OutputStream.write and InputStream.read.
|
2020-01-30 14:29:56 +01:00 |
|