Owen Mansel-Chan
52e6ea30e7
Accept more capture summary models
...
This line is added because `FileOutputStream`'s constructor is now modeled as propagating taint, not just as a sink.
| p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated |
2024-04-01 14:03:00 +01:00
Owen Mansel-Chan
6e63df9e32
Accept test change: toString method no longer generated
2024-03-01 14:16:14 +00:00
Tony Torralba
6e550d28af
Update more test expectations
2024-01-26 15:13:07 +01:00
Michael Nebel
37a21ec548
Java: Address review comments.
2024-01-12 13:36:23 +01:00
Michael Nebel
74cdcab6d8
Java: Update expected test output.
2024-01-12 13:36:23 +01:00
Michael Nebel
03d4025b99
Java: Add a testcase where both a neutral summary and summary is being generated.
2024-01-12 13:36:23 +01:00
Koen Vlaswinkel
ced95e0f45
Java: Split API name column into separate columns
2023-09-25 10:16:59 +02:00
Koen Vlaswinkel
f4522edc95
Java: Remove unnecessary columns
2023-09-22 16:11:30 +02:00
Koen Vlaswinkel
509b7fe0f8
Java: Add tests for supported framework methods
2023-09-20 14:11:00 +02:00
Koen Vlaswinkel
6adbc406a7
Java: Add tests for private methods
2023-09-20 14:05:28 +02:00
Koen Vlaswinkel
8e55189b84
Java: Add tests for generic interfaces/classes/methods
2023-09-20 14:02:34 +02:00
Koen Vlaswinkel
fe7ce0ae0b
Java: Rename queries from fetch methods to endpoints
2023-09-20 13:52:49 +02:00
Koen Vlaswinkel
7db082f3fd
Java: Add VS Code model editor queries
2023-09-13 13:04:26 +02:00
Jami Cogswell
e28ce959a3
Java: update CaptureSinkModels test case
2023-05-31 15:51:07 -04:00
Michael Nebel
c30f080ff0
Java: Update expected test out for the model generator.
2023-05-08 16:18:59 +02:00
Michael Nebel
574f568c26
Java: Update model generator expected output.
2023-04-13 09:21:06 +02:00
Michael Nebel
ba711ab849
Java: Update expected test-output (different sorting).
2023-03-20 10:14:20 +01:00
Michael Nebel
e86f1e4961
Java: Replace Argument[-1] with Argument[this].
2023-03-20 10:14:20 +01:00
Jami
029e1d47fe
Merge pull request #12081 from jcogs33/jcogs33/update-some-Files-sinks
...
Java: update `createTempDirectory` and `copy` "create-file" sinks
2023-02-14 10:53:17 -05:00
Jami Cogswell
e4c8387815
Java: update CaptureSinkModels.expected with read-file sink
2023-02-13 11:29:30 -05:00
Michael Nebel
2ce6d5f920
Java: Update negative models test to not produce a negative summary for interface member.
2023-02-13 10:45:54 +01:00
Michael Nebel
787b4743ee
C#/Java: Rename the directories containing the model generator and tests.
2023-01-11 13:13:33 +01:00
Michael Nebel
178fd0e9e1
C#/Java: Remove all dashes in mode-generator.
2023-01-11 13:13:33 +01:00
Tony Torralba
32471d326e
Java: Remove omittable exists variables
2023-01-10 13:37:19 +01:00
Jami Cogswell
446ac75c87
Java: update unit test
2022-12-12 13:28:01 -05:00
Michael Nebel
1d103f57a0
C#/Java: Rename CaptureNegativeSummaryModels test to CaptureNeutralModels.
2022-12-09 15:04:43 +01:00
Michael Nebel
abe4d99e12
Java: Make some rudimentary tooling for testing the flow test case generator script.
2022-11-28 09:07:40 +01:00
Michael Nebel
9b5318876d
Java: Improve tests and allow spurious models.
2022-11-10 13:57:44 +01:00
Michael Nebel
ce8ab0e66e
Simplify test predicate implementation.
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2022-11-10 13:57:44 +01:00
Michael Nebel
4cb82ad5a7
Java: Explicit import of needed classes from stream and some improvements to comments.
2022-11-10 13:57:43 +01:00
Michael Nebel
62603dd2bc
Java: Inline expectations for type based model test case.
2022-11-10 13:57:43 +01:00
Michael Nebel
8a0f00a5c9
Java: Update expected test output.
2022-11-10 13:57:43 +01:00
Michael Nebel
0c09f78142
Java: Comment in method for converting stream to Array.
2022-11-10 13:57:43 +01:00
Michael Nebel
5b65f5c185
Java: Change test implementation to avoid failing CFG dead end consistency test.
2022-11-10 13:57:43 +01:00
Michael Nebel
b80c533fb0
Java: Update expected test output.
2022-11-10 13:57:43 +01:00
Michael Nebel
937404892f
Java: Add further examples that are now supported.
2022-11-10 13:57:42 +01:00
Michael Nebel
dc79ed8192
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
d1b8bef248
Java: Add more stream functions. Comment methods out, where we are not happy with the generated result.
2022-11-10 13:57:42 +01:00
Michael Nebel
62de3e4ab6
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
716d6aeeee
Java: Add stream concat example.
2022-11-10 13:57:42 +01:00
Michael Nebel
efe802dac0
Java: Updated expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
52f69f77bc
Java: Add stream example methods using wildcards.
2022-11-10 13:57:42 +01:00
Michael Nebel
0caee16eb0
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
0cfd7787f4
Java: Add some examples of functional interfaces for functions with two parameters.
2022-11-10 13:57:42 +01:00
Michael Nebel
3a5d06272f
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
9ccff656bd
Java: Add some initial stubs for methods like java.util.stream.Stream.
2022-11-10 13:57:42 +01:00
Michael Nebel
309b6e0810
Java: Add expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
f22e1db33f
Java: Add test case for capturing type based summaries.
2022-11-10 13:57:41 +01:00
Michael Nebel
207191f987
Java: Move dataflow based model generation testcases to a subfolder.
2022-11-10 13:57:41 +01:00
Michael Nebel
a412c955e7
Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.
2022-08-24 09:58:54 +02:00
