Michael Nebel
0a1d2d0bbb
Java: Update all test util paths to point to the new location.
2024-12-12 13:21:25 +01:00
Michael Nebel
23d285c698
Java: Update model generator expected output.
2024-10-21 15:19:44 +02:00
Michael Nebel
7919dcfb12
Java: Add modelgenerator clone example.
2024-10-21 15:19:42 +02:00
Michael Nebel
0b39c5b982
C#/Java: Update model generator expected output.
2024-09-27 09:22:29 +02:00
Michael Nebel
8310faa2e9
C#/Java: Add a query that uses both content based and non-content based model generation.
2024-09-27 09:22:11 +02:00
Michael Nebel
9a923d62ad
C#/Java: Updated expected test output.
2024-09-26 13:00:52 +02:00
Michael Nebel
0cd4ccb790
C#/Java: Update model generator expected test output.
2024-09-26 12:49:18 +02:00
Michael Nebel
aae8660acc
C#/Java: Add some examples of missing synthetic field element flow.
2024-09-26 12:00:29 +02:00
Michael Nebel
58513cadbf
C#/Java: Add model generator test examples.
2024-09-26 12:00:25 +02:00
Michael Nebel
e6085759ae
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
2024-09-24 15:46:44 +02:00
Michael Nebel
22c2522aac
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
2024-09-24 15:16:16 +02:00
Michael Nebel
0fbeca14ad
Java: Add content based example with multiple paths.
2024-09-10 15:23:44 +02:00
Michael Nebel
d7e61d07d1
Java: Update some model generator test cases.
2024-09-10 15:23:34 +02:00
Michael Nebel
5ddcb16cd6
Java: Add content based model generation test.
2024-09-03 12:58:01 +02:00
Michael Nebel
eaf4f5eeab
C#/Java: Update model generation expected output.
2024-08-14 09:57:49 +02:00
Michael Nebel
046018fa25
Java: Add example of missing sink generation.
2024-08-14 09:50:34 +02:00
Michael Nebel
2796597d1a
Code quality improvements.
2024-07-19 09:36:17 +02:00
Michael Nebel
0bf1ed1d96
C#/Java: Update model generator expected output.
2024-07-18 16:35:40 +02:00
Michael Nebel
c9832df3c0
C#/Java: Add test for missing neutral summary generation.
2024-07-18 16:29:34 +02:00
Michael Nebel
9cb7018215
Java: Update the model generator expected test output.
2024-06-27 11:35:07 +02:00
Michael Nebel
22e9ae2793
Java: Add some source/sink examples where lifting is applied.
2024-06-27 11:15:06 +02:00
Michael Nebel
24685a07c0
Java: Update model generator test expected output.
2024-06-24 13:07:42 +02:00
Michael Nebel
30249e4f2b
Java: Add some spurious source and sink examples.
2024-06-24 13:07:34 +02:00
Michael Nebel
aa962f9b03
Java: Update expected output of model generation.
2024-06-19 14:10:59 +02:00
Michael Nebel
1185e28ea2
Java: Add some spurious source and sink model generation examples.
2024-06-19 14:10:56 +02:00
Michael Nebel
7f7c5d7c94
Java: Update model generator expected test output.
2024-06-13 10:57:15 +02:00
Michael Nebel
e56c185f32
Java: Add some model generator sink examples.
2024-06-13 10:49:57 +02:00
Michael Nebel
9cf0995720
Java: Update test expected output.
2024-05-23 16:33:04 +02:00
Michael Nebel
1e54422662
Java: Add neutral implementations.
2024-05-23 15:00:23 +02:00
Michael Nebel
5e2e224c9c
Java: Updated expected test output.
2024-05-08 14:42:53 +02:00
Michael Nebel
2a40a2a57f
Java: Add some inheritance test cases for the model generator and updated expected test output.
2024-05-08 13:01:41 +02:00
Michael Nebel
b53fa0f7f3
Java: Ensure that it is the callable for the model origin that carries the comment containing the model.
2024-05-06 16:41:58 +02:00
Michael Nebel
a8549d2e23
Java: Convert remaining tests to inline flow tests.
2024-05-06 15:54:01 +02:00
Michael Nebel
95ddd6ec74
Java: Generalize the inline mad test to allow further re-use.
2024-05-06 13:57:18 +02:00
Michael Nebel
51e7f3be1a
Java: Rename MaD to summary.
2024-05-06 13:03:38 +02:00
Michael Nebel
a33393d452
Java: Delete old summary models expected output.
2024-05-06 11:02:04 +02:00
Michael Nebel
7cb8a6c52f
Java: Inline models as data expected output as comments in the java files and add a test.
2024-05-06 11:01:23 +02:00
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
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
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
