Michael Nebel
|
95a8881428
|
Merge pull request #17999 from michaelnebel/csharp/net9
C#: Update to .NET9.
|
2024-11-19 14:28:59 +01:00 |
|
Michael Nebel
|
45458ed72b
|
Merge pull request #17845 from michaelnebel/csharp/net8runtimehigherorder
C#: Add generated higher order models for .NET8 Runtime.
|
2024-11-19 11:52:34 +01:00 |
|
Michael Nebel
|
d8313fc7b4
|
C#: Update .NET version in project files.
|
2024-11-19 10:26:02 +01:00 |
|
Tom Hvitved
|
a35a4b2d98
|
Merge pull request #17887 from hvitved/dataflow/provenance-order
Data flow: Order provenance output by textual representation
|
2024-11-07 14:19:18 +01:00 |
|
Michael Nebel
|
71bf900c6c
|
C#: Update FlowSummaries expected tests.
|
2024-11-07 11:14:02 +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 |
|
Tom Hvitved
|
95e9d013cc
|
Update expected test output
|
2024-11-04 12:07:06 +01:00 |
|
Tom Hvitved
|
495c92df38
|
Shared: Also take query ID into account in PathProblemSourceTestInput
|
2024-10-30 10:54:40 +01:00 |
|
Tom Hvitved
|
ff9811b488
|
C#: Add tests for the inline test post-processor
|
2024-10-30 10:09:40 +01:00 |
|
Tom Hvitved
|
8ba80fd022
|
C#: Post-processing query for inline test expectations
|
2024-10-29 13:35:31 +01:00 |
|
Tom Hvitved
|
b111194fbc
|
Shared: Simplify PrettyPrintModels.ql
|
2024-10-29 13:35:28 +01:00 |
|
Tom Hvitved
|
813ccb9c06
|
Merge pull request #17855 from hvitved/csharp/comments-mapped-locations
C#: Take mapped locations into account in `Comments.qll`
|
2024-10-29 08:58:38 +01:00 |
|
Tom Hvitved
|
7910af159c
|
C#: Take mapped locations into account in Comments.qll
|
2024-10-28 14:21:10 +01:00 |
|
Tom Hvitved
|
c93e4385f2
|
C#: Add a test for a comment with a mapped location
|
2024-10-28 14:20:24 +01:00 |
|
Michael Nebel
|
82ff545424
|
C#: Re-factor test for CWE-611/UntrustedDataInsecureXml.ql to pretty print models in test case.
|
2024-10-28 10:36:32 +01:00 |
|
Michael Nebel
|
146c88fabb
|
C#: Update test expected output where the results are not affected.
|
2024-10-23 13:08:21 +02:00 |
|
Michael Nebel
|
5495a211f2
|
C#: Update exception information exposure expected output.
|
2024-10-23 13:08:19 +02:00 |
|
Michael Nebel
|
cad9aa21d8
|
C#: Update flow summaries test expected output.
|
2024-10-23 13:08:18 +02:00 |
|
Michael Nebel
|
20b5a7b6f0
|
C#: Update expected test output.
|
2024-10-23 13:08:10 +02:00 |
|
Michael Nebel
|
191658f637
|
C#: Update expected test output.
|
2024-10-21 12:04:31 +02:00 |
|
Michael Nebel
|
0b8e83dc87
|
C#: Add log forging false positive example using ReplaceLineEndings.
|
2024-10-21 11:55:09 +02: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 |
|
Anders Schack-Mulligen
|
6081ba5902
|
Merge pull request #17604 from aschackmull/java/neutral-overrides
Java/C#: Add overrides to the interpretation of neutral MaD models.
|
2024-10-01 14:55:54 +02:00 |
|
Anders Schack-Mulligen
|
5c4b4d644a
|
C#: Accept test changes.
|
2024-09-30 16:27:50 +02:00 |
|
Michael Nebel
|
6f74387600
|
Merge pull request #17521 from michaelnebel/modelgen/moreimprovements
C#/Java: Content based model generation improvements.
|
2024-09-30 11:22:30 +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 |
|
Rasmus Wriedt Larsen
|
381ea93ec3
|
Merge pull request #17424 from RasmusWL/active-threat-model-source
Go/Java/C#: Rename `ThreatModelFlowSource` to `ActiveThreatModelSource`
|
2024-09-26 13:08:17 +02:00 |
|
Michael Nebel
|
a128383760
|
C#/Java: Add some dfc-generated test cases.
|
2024-09-26 13:01:01 +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
|
dd993c3900
|
Merge pull request #17509 from michaelnebel/modelgen/parammodule
C#/Java: Re-factor the model generator to be a parameterized module.
|
2024-09-26 10:57:16 +02:00 |
|
Michael Nebel
|
297d32180c
|
Merge pull request #17582 from michaelnebel/csharp/attributecollectionsinks
C#: `AttributeCollection` is no longer considered a HTML sink.
|
2024-09-26 09:17:31 +02:00 |
|
Michael Nebel
|
e89a47f2f5
|
C#: Update XSS expected test output.
|
2024-09-25 14:13:03 +02:00 |
|
Michael Nebel
|
28c48fb471
|
C#: Add Xss attribute collection test example and update expected output.
|
2024-09-25 14:12:55 +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 |
|
Rasmus Wriedt Larsen
|
63c3a71d95
|
Merge branch 'main' into active-threat-model-source
|
2024-09-23 11:18:14 +02:00 |
|
Tom Hvitved
|
16813240ae
|
Shared: Do not use @kind graph for CFG test output
|
2024-09-19 18:13:31 +02:00 |
|
Tom Hvitved
|
4baa4ae2aa
|
Merge pull request #17513 from owen-mc/fix-test-expectations
C#/Go: Fix test expectations including double space
|
2024-09-19 12:17:18 +02:00 |
|
Owen Mansel-Chan
|
ded52ccb8e
|
Fix test expectations including double space
|
2024-09-19 11:01:38 +01:00 |
|
Michael Nebel
|
4a9e3ee3aa
|
Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements
C#/Java: Content based model generation improvements.
|
2024-09-19 10:49:11 +02:00 |
|
Michael Nebel
|
24a101297c
|
Merge pull request #15884 from michaelnebel/csharp/cleanupcil
C#: CIL and Dotnet cleanup (removal).
|
2024-09-18 11:43:41 +02:00 |
|
Michael Nebel
|
295861d577
|
Merge pull request #17459 from michaelnebel/csharp/accessormad
C#: Add MaD support for `Attribute.Getter` and `Attribute.Setter`.
|
2024-09-18 09:11:51 +02:00 |
|
Tom Hvitved
|
d680a549bd
|
Merge pull request #16936 from hvitved/csharp/ssa-integration
C#: Adopt shared SSA data-flow integration
|
2024-09-17 13:45:31 +02:00 |
|