Anders Schack-Mulligen
|
ab862276fc
|
Java: Fix tests.
|
2021-09-13 16:04:11 +02:00 |
|
Anders Schack-Mulligen
|
dbe352f3ff
|
Java: Remove deprecated tests.
|
2021-06-01 11:47:52 +02:00 |
|
Anders Schack-Mulligen
|
43d1b0ab27
|
Java: Update qltests.
|
2021-06-01 11:47:52 +02:00 |
|
Anders Schack-Mulligen
|
579c955892
|
Java: Adjust some tests.
|
2021-04-19 14:06:27 +02:00 |
|
Tom Hvitved
|
fd8f745468
|
Java: Adopt shared flow summary library and refactor data-flow nodes.
|
2021-04-09 16:57:03 +02:00 |
|
Anders Schack-Mulligen
|
879551fc6a
|
Merge pull request #3936 from aibaars/object-clone
Java: model Object.clone
|
2020-07-09 16:09:01 +02:00 |
|
Arthur Baars
|
e183171fea
|
Java: model Object.clone
|
2020-07-09 14:50:29 +02:00 |
|
Arthur Baars
|
e8f216c761
|
Merge remote-tracking branch 'upstream/master' into set-map-list-copy-of
|
2020-07-08 15:11:13 +02:00 |
|
Arthur Baars
|
940fec5669
|
Drop taint tracking for Arrays.{deepToString,toString}
|
2020-07-07 17:26:49 +02:00 |
|
Arthur Baars
|
583f7f914e
|
Drop taint tracking for Arrays.{setAll, parallelSetAll, parallelPrefix}
|
2020-07-07 17:22:30 +02:00 |
|
Arthur Baars
|
19a481f809
|
Java: Arrays: add tests
|
2020-07-03 17:15:17 +02:00 |
|
Arthur Baars
|
1485f7c876
|
Java: model some new Set,List,Map methods
Models the taint propagation for the copyOf(..),
of(..), ofEntries(..) and entry(..) methods
|
2020-07-03 17:14:53 +02:00 |
|
Arthur Baars
|
5fff41f35b
|
Don't track taint on Map keys
|
2020-07-03 14:47:25 +02:00 |
|
Arthur Baars
|
5f2a5f1b55
|
Java: Collections: add tests
|
2020-07-02 19:18:02 +02:00 |
|
Arthur Baars
|
31e284a707
|
Add test case
|
2020-04-28 11:26:43 +02:00 |
|