Michael Nebel
|
16bfcc3882
|
C#: Update language test expected output files to .NET 10.
|
2025-12-11 11:34:52 +01:00 |
|
Michael Nebel
|
09dc3c88b3
|
C#: Update model generator implementation and test expected output.
|
2025-05-13 13:44:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
bce5f2539f
|
C++/C#/Java/Rust: Fixup tests.
|
2025-05-02 16:52:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d2f2b89e7
|
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
|
2025-05-02 14:02:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd47379700
|
C#: Fixup queries and accept test changes.
|
2025-04-30 20:34:30 +01:00 |
|
Michael Nebel
|
0016fbfa21
|
C#: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:05 +02:00 |
|
Michael Nebel
|
1d6c367049
|
C#: Change the capture neutral model test to use the content/heuristic version instead.
|
2025-04-25 15:49:55 +02:00 |
|
Michael Nebel
|
539a06dcb4
|
C#: Re-factor the heuristic summary test to use heuristic-summary tag in tests.
|
2025-04-25 15:49:53 +02:00 |
|
Michael Nebel
|
da99c75a13
|
C#: Rename some of the model generator tests.
|
2025-04-25 15:49:51 +02:00 |
|
Michael Nebel
|
7801fc321d
|
C#: Re-factor tests to use the new implementations.
|
2025-04-25 15:49:49 +02:00 |
|
Michael Nebel
|
8bda7ce6be
|
C#: Update model generator expected test output.
|
2025-03-26 15:07:44 +01:00 |
|
Michael Nebel
|
bcefdc8893
|
C#: Add model generator test cases with in/out parameters.
|
2025-03-26 15:06:13 +01:00 |
|
Asger F
|
bb8f4529bf
|
Fix bug when RelatedLocation was used with a query ID
|
2025-02-25 14:52:32 +01:00 |
|
Asger F
|
5f2e5ab8c3
|
Rename file and ID to match .qlref and other query
|
2025-02-25 14:52:19 +01:00 |
|
Asger F
|
92e1023d00
|
Update line numbers due to addition of new test code
|
2025-02-25 11:59:11 +01:00 |
|
Asger F
|
ae161f1654
|
Add meta-tests for inline expectation with related locations
|
2025-02-25 11:58:54 +01:00 |
|
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
|
c7c3f6bd80
|
C#: Update inline-tests query paths.
|
2024-12-12 13:21:28 +01:00 |
|
Michael Nebel
|
8fbd4a2cd5
|
C#: Move inline-tests into the utils test folder.
|
2024-12-12 13:21:26 +01:00 |
|
Michael Nebel
|
c6e936f2c3
|
C#: Update generics test and expected output from other tests.
|
2024-12-04 09:56:12 +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 |
|