Mathias Vorreiter Pedersen
|
e903d76fa0
|
Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2
Shared: Generate more value-preserving flow summaries
|
2025-05-14 09:12:28 +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 |
|
Simon Friis Vindum
|
c6d95ceeb0
|
Shared: Remove the language-specific model generator scripts
|
2025-05-02 13:21:10 +02: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
|
c9d01bc607
|
Shared: Sprinkle some predicate defaults and clean up.
|
2025-04-29 15:22:13 +02: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
|
b5c596b2ce
|
Shared: Split model printing of summaries and sources/sinks into separate param modules.
|
2025-04-29 15:21:59 +02:00 |
|
Michael Nebel
|
89fd9a4dd5
|
C#/Java/Rust: Change the tag for the model generator debugging queries.
|
2025-04-29 12:02:37 +02:00 |
|
Michael Nebel
|
2a0097ea56
|
C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.
|
2025-04-25 15:49:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
04bf908a4b
|
C#: Fixup MaD input.
|
2025-04-10 14:01:00 +01:00 |
|
Michael Nebel
|
8763d18c91
|
C#: Correct printing of out and ref notes in the model generator.
|
2025-03-26 15:06:26 +01:00 |
|
Simon Friis Vindum
|
70550950d8
|
Java, C#: Ensure variable is used in all disjuncts
|
2025-01-29 10:30:26 +01:00 |
|
Simon Friis Vindum
|
13e0829d19
|
Shared: Generalize the number of columns in a generated MaD row
|
2025-01-28 15:36:09 +01:00 |
|
Michael Nebel
|
a91c1dc715
|
C#: Move external api declarations to the library pack.
|
2024-12-17 14:39:59 +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
|
5c389355d0
|
C#: Simplify delegate read and store steps (remove dependency on parameter).
|
2024-11-06 16:29:17 +01:00 |
|
Michael Nebel
|
fe854812ec
|
C#: Add read and store steps for delegate calls.
|
2024-11-06 16:29:13 +01:00 |
|
Michael Nebel
|
80497f551e
|
Shared: Only make unlifted models in case the API itself is relevant.
|
2024-09-27 09:22:25 +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
|
e6085759ae
|
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
|
2024-09-24 15:46:44 +02:00 |
|
Michael Nebel
|
fd45d2dcbb
|
Shared: Move the model generator implementation to an internal folder.
|
2024-09-24 15:27:29 +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
|
1f3b28a555
|
C#: Use the shared model generator implementation.
|
2024-09-19 12:20:46 +02:00 |
|
Michael Nebel
|
68165bbce4
|
C#/Java: Address review comments.
|
2024-09-17 16:09:17 +02:00 |
|
Michael Nebel
|
da012a7a44
|
C#: Add the capture content summary models query.
|
2024-09-10 15:23:54 +02:00 |
|
Michael Nebel
|
e94890280a
|
C#: Sync changes and make language specific parts.
|
2024-09-10 15:23:51 +02:00 |
|
Michael Nebel
|
e1048cf8ea
|
Java/C#: Address review comments.
|
2024-09-05 19:23:05 +02:00 |
|
Michael Nebel
|
486246c82d
|
C#: Sync changes and make C# implementation.
|
2024-09-03 12:58:04 +02:00 |
|
Michael Nebel
|
e81fdc951a
|
Merge pull request #17246 from michaelnebel/modelgendebug
C#/Java: Add some model generator summary debugging queries.
|
2024-08-26 16:13:03 +02:00 |
|
Michael Nebel
|
34d83a6b0d
|
C#/Java: Address review comments.
|
2024-08-26 15:02:27 +02:00 |
|
Michael Nebel
|
6ea01b81bb
|
C#: Add some summary debugging queries.
|
2024-08-20 16:28:18 +02:00 |
|
Tom Hvitved
|
f6ec56a977
|
C#: Implement ContentSet
|
2024-08-13 15:27:36 +02:00 |
|
Tom Hvitved
|
fbcb4498fe
|
Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch
C#: Restrict multi-body dataflow dispatch based on file-system distance
|
2024-08-13 12:15:22 +02:00 |
|
Michael Nebel
|
8eba4a3e51
|
C#: Code quality improvement.
|
2024-07-15 08:05:13 +02:00 |
|
Tom Hvitved
|
0459422a6c
|
C#: Restrict multi-body dataflow dispatch based on file-system distance
|
2024-07-11 16:52:20 +02:00 |
|
Michael Nebel
|
5639ada3ed
|
C#: Do not generate source models for Overriable callables that overrides or implements something.
|
2024-07-02 07:52:26 +01:00 |
|
Michael Nebel
|
64ac52e918
|
C#: Only lift summary models in the model generator.
|
2024-06-27 09:54:00 +02:00 |
|
Michael Nebel
|
b27a9d948a
|
C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.
|
2024-06-24 13:07:14 +02:00 |
|
Michael Nebel
|
b7bc540325
|
C#: Adjust implementation to use the shared model printer.
|
2024-06-24 11:50:46 +02:00 |
|
Michael Nebel
|
40204911bc
|
C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapolated sources.
|
2024-06-19 14:10:49 +02:00 |
|
Michael Nebel
|
1c3ceacf04
|
C#: Some renaming and re-factoring.
|
2024-06-18 13:05:21 +02:00 |
|
Michael Nebel
|
b5d6a6db7e
|
C#: Use the same types as sanitizers for source and sink model as we use for summary model generation.
|
2024-06-18 13:05:12 +02:00 |
|
Michael Nebel
|
a29446a566
|
C#/Java: Address review comments.
|
2024-06-14 10:46:19 +02:00 |
|
Michael Nebel
|
91ebeee429
|
C#: Perceive field and property reads as additional flow steps in sink extrapolation.
|
2024-06-12 14:16:26 +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
|
5a25967019
|
C#: Address review comments.
|
2024-05-28 13:38:23 +02:00 |
|
Michael Nebel
|
c59c7cf02a
|
C#: Use manual sink callables as exclusion for extrapolated sinks.
|
2024-05-24 12:50:48 +02:00 |
|