Anders Schack-Mulligen
|
2bfd65f145
|
Java: update expected output
|
2024-07-16 11:11:54 +02:00 |
|
Anders Schack-Mulligen
|
2925e45434
|
Java/Dataflow: Propagate MaD-id/model-id to PathGraph.
|
2024-04-12 09:19:51 +02:00 |
|
Chris Smowton
|
f552a15aae
|
Mass-rename MethodAccess -> MethodCall
|
2023-10-24 10:30:26 +01:00 |
|
Anders Schack-Mulligen
|
eec012d308
|
Java: Fix test
|
2023-06-12 13:18:13 +02:00 |
|
Anders Schack-Mulligen
|
c034a1e268
|
Java: Fix test.
|
2022-08-17 12:46:35 +02:00 |
|
Michael Nebel
|
a8b103b89c
|
Java: Update dependencies.
|
2022-05-24 08:21:39 +02:00 |
|
Anders Schack-Mulligen
|
48ab5b2403
|
C#/Ruby/Java: Fix references.
|
2022-05-18 09:27:54 +02:00 |
|
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 |
|