Michael Nebel
|
82f8a796e1
|
C#: Update all test util paths to point to the new location.
|
2024-12-12 13:21:31 +01:00 |
|
Michael Nebel
|
e9c9519d90
|
C#: Address review comments.
|
2024-11-06 16:29:20 +01:00 |
|
Michael Nebel
|
55cfbccd43
|
C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.
|
2024-11-06 16:29:19 +01:00 |
|
Michael Nebel
|
395cababb3
|
C#: Add some model generator examples for higher order methods.
|
2024-11-06 16:29:14 +01:00 |
|
Michael Nebel
|
5d4ceeebb5
|
Shared: Only generate df summary model in the mixed query in case no context sensitive model exist.
|
2024-10-09 13:04:32 +02:00 |
|
Michael Nebel
|
0b39c5b982
|
C#/Java: Update model generator expected output.
|
2024-09-27 09:22:29 +02:00 |
|
Michael Nebel
|
3d1a403655
|
C#: Add example of content based summary on private method.
|
2024-09-27 09:22:20 +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
|
0abc08c773
|
C#: Add some synthetic field content based examples.
|
2024-09-10 15:24:00 +02:00 |
|
Michael Nebel
|
b94940b6d9
|
C#: Adjust existing model generator tests and update expected output.
|
2024-09-10 15:23:57 +02:00 |
|
Michael Nebel
|
6e8941ea9d
|
C#: Add a couple more testcases.
|
2024-09-03 12:58:09 +02:00 |
|
Michael Nebel
|
4123876343
|
C#: Add content based summary generation test.
|
2024-09-03 12:58:06 +02:00 |
|
Rasmus Wriedt Larsen
|
ebafe65ac2
|
C#: Fixup test expectations from using stdin
|
2024-08-15 15:45:20 +02:00 |
|
Michael Nebel
|
eaf4f5eeab
|
C#/Java: Update model generation expected output.
|
2024-08-14 09:57:49 +02:00 |
|
Michael Nebel
|
6f79480b40
|
C#: Add example of missing sink generation.
|
2024-08-14 09:50:13 +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
|
e05f835683
|
C#: Update model generator expected output.
|
2024-07-02 07:52:30 +01:00 |
|
Michael Nebel
|
70494d339d
|
C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.
|
2024-07-02 07:52:22 +01:00 |
|
Michael Nebel
|
f7ce4f39ea
|
C#: Update expected source/sink model generator expected test output.
|
2024-06-27 10:42:37 +02:00 |
|
Michael Nebel
|
3180d8f752
|
C#: Add some source/sink examples where lifting is applied.
|
2024-06-27 10:27:50 +02:00 |
|
Michael Nebel
|
854674a71c
|
C#: Update expected test output.
|
2024-06-24 13:07:30 +02:00 |
|
Michael Nebel
|
2657e7f56d
|
C#: Add some source and sink modelling examples where a neutral exist.
|
2024-06-24 13:05:35 +02:00 |
|
Michael Nebel
|
99907471b2
|
C#: Update model generator expected output.
|
2024-06-19 14:10:52 +02:00 |
|
Michael Nebel
|
dfaa40a1d2
|
C#: Update expected test output from model generation.
|
2024-06-18 13:05:17 +02:00 |
|
Michael Nebel
|
031e44b157
|
C#: Add some source/sink model generator test examples.
|
2024-06-18 13:05:07 +02:00 |
|
Michael Nebel
|
48739da565
|
C#: Update expected test output.
|
2024-06-12 14:16:31 +02:00 |
|
Michael Nebel
|
5aee35256d
|
C#: Add member flow example.
|
2024-06-12 14:16:22 +02:00 |
|
Michael Nebel
|
4b62cb64ed
|
C#: Update expected test output.
|
2024-06-12 14:16:17 +02:00 |
|
Michael Nebel
|
0bbf131fdb
|
C#: Add some compound sink examples.
|
2024-06-12 14:16:12 +02:00 |
|
Michael Nebel
|
213e3918df
|
C#: Add some more external flow testcases (one with a spurious result).
|
2024-06-03 10:40:02 +02:00 |
|
Michael Nebel
|
8b75bb2ba9
|
C#: The model generator should consider System.Type and System.DateTime as sanitizers.
|
2024-05-31 12:50:18 +02:00 |
|
Michael Nebel
|
02f9aec517
|
C#: Add some spurious summary generation examples.
|
2024-05-31 12:50:14 +02:00 |
|
Michael Nebel
|
ad55744877
|
C#: Add model generator test case for property.
|
2024-05-24 12:50:48 +02:00 |
|
Michael Nebel
|
057a420833
|
C#: Update expected test output.
|
2024-05-24 12:50:48 +02:00 |
|
Michael Nebel
|
0d397cea9f
|
C#: Add some model generator tests related to lifting.
|
2024-05-24 12:50:48 +02:00 |
|
Michael Nebel
|
e198d0105f
|
C#: Re-factor the model generator tests.
|
2024-05-17 09:44:58 +02:00 |
|
Michael Nebel
|
adeff8c602
|
C#: Convert neutral capture test to inline expectation.
|
2024-05-17 09:44:58 +02:00 |
|
Michael Nebel
|
e3b6ee1aaf
|
C#: Convert type based summary capture test to inline expectation.
|
2024-05-17 09:44:58 +02:00 |
|
Michael Nebel
|
a5fd433c20
|
C#: Convert sink capture test to inline expectation.
|
2024-05-17 09:44:58 +02:00 |
|
Michael Nebel
|
26f9297d62
|
C#: Convert source capture test to inline expectation.
|
2024-05-17 09:44:58 +02:00 |
|
Michael Nebel
|
404b39b6e6
|
C#: Convert summary capture test to inline expectation.
|
2024-05-17 09:44:57 +02:00 |
|
Michael Nebel
|
312b96aa8b
|
C#: Update expected test output.
|
2024-04-12 11:31:57 +02:00 |
|
Michael Nebel
|
32595b92a2
|
C#: Add some property test cases.
|
2024-04-12 11:31:57 +02:00 |
|