Michael Nebel
|
a09262b4c6
|
C#: Update expected test output.
|
2024-11-29 13:49:25 +01:00 |
|
Ed Minnix
|
5bcc694f6a
|
Fix typo
|
2024-11-28 09:06:18 -05:00 |
|
Ed Minnix
|
1c06c4aae0
|
Fix summaries
|
2024-11-28 08:59:58 -05:00 |
|
Ed Minnix
|
2b0c7a209b
|
Fix test results
|
2024-11-26 22:42:24 -05: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
|
71bf900c6c
|
C#: Update FlowSummaries expected tests.
|
2024-11-07 11:14:02 +01:00 |
|
Tom Hvitved
|
95e9d013cc
|
Update expected test output
|
2024-11-04 12:07:06 +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
|
146c88fabb
|
C#: Update test expected output where the results are not affected.
|
2024-10-23 13:08:21 +02:00 |
|
Michael Nebel
|
cad9aa21d8
|
C#: Update flow summaries test expected output.
|
2024-10-23 13:08:18 +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
|
a128383760
|
C#/Java: Add some dfc-generated test cases.
|
2024-09-26 13:01:01 +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 |
|
Owen Mansel-Chan
|
ded52ccb8e
|
Fix test expectations including double space
|
2024-09-19 11:01:38 +01: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 |
|
Michael Nebel
|
0b579c0a1a
|
C#: Update external models tests and expected test output.
|
2024-09-16 15:45:12 +02:00 |
|
Michael Nebel
|
368ba1c5e2
|
C#: Update external models expected test output.
|
2024-09-16 15:45:07 +02:00 |
|
Michael Nebel
|
367bbc4039
|
C#: Add some examples of using attributes on properties and indexers for use in external models.
|
2024-09-16 15:45:05 +02:00 |
|
Michael Nebel
|
a6f95c577a
|
C#: Remove deprecated predicates.
|
2024-09-16 14:12:05 +02:00 |
|
Michael Nebel
|
7db73c8771
|
C#: Update expected test output.
|
2024-09-16 10:57:25 +02:00 |
|
Michael Nebel
|
5c5da3791e
|
C#: Update attributes expected test output.
|
2024-09-16 10:53:00 +02:00 |
|
Michael Nebel
|
cc0d99a141
|
C#: Add attibute test examples for properties and indexers.
|
2024-09-16 10:50:51 +02:00 |
|
Rasmus Wriedt Larsen
|
8c10155eb7
|
mass rename to ActiveThreatModelSource
|
2024-09-12 10:16:55 +02:00 |
|
Michael Nebel
|
4f4c7bfbb9
|
C#: Update expected test output.
|
2024-09-02 11:13:16 +02:00 |
|
Michael Nebel
|
0d343c5ce1
|
C#: Add external flow tests for synthetic fields.
|
2024-09-02 11:13:06 +02:00 |
|
Tom Hvitved
|
4ef4ede0b1
|
C#: Do not calculate field-based SSA for enums
|
2024-08-30 11:19:07 +02:00 |
|
Tom Hvitved
|
a9b5faa6ab
|
C#: Add SSA test for enums
|
2024-08-30 11:19:06 +02:00 |
|
Tamás Vajk
|
3dce56b0b1
|
Merge pull request #17276 from tamasvajk/impr/change-partial-method-location
C#: Change reporting location of partial methods
|
2024-08-22 15:10:21 +02:00 |
|
Michael Nebel
|
bd69b96752
|
Merge pull request #17273 from michaelnebel/csharp/sqlinject
C#: ASP.NET Controller is allowed to be abstract.
|
2024-08-22 11:18:48 +02:00 |
|
Tom Hvitved
|
d41d7c8246
|
Merge pull request #17207 from hvitved/csharp/content-set
C#: Implement `ContentSet`
|
2024-08-22 10:55:11 +02:00 |
|
Tamas Vajk
|
7c4733e88f
|
C#: Change reporting location of partial methods
|
2024-08-21 15:13:14 +02:00 |
|
Michael Nebel
|
45d4d5138a
|
C#: Update expected test output.
|
2024-08-21 13:14:12 +02:00 |
|
Michael Nebel
|
75772c5832
|
C#: Add abstract controller remote flow source example.
|
2024-08-21 13:00:10 +02:00 |
|
Anders Schack-Mulligen
|
525b6f30e3
|
C++/C#/Java: Accept test changes.
|
2024-08-21 10:51:28 +02:00 |
|
Rasmus Wriedt Larsen
|
ebafe65ac2
|
C#: Fixup test expectations from using stdin
|
2024-08-15 15:45:20 +02:00 |
|
Anders Schack-Mulligen
|
a85f8a2fbd
|
Java/C#: Accept expected changes.
|
2024-08-15 13:24:31 +02:00 |
|
Michael Nebel
|
d5f8adbfee
|
C#: Update test expected output.
|
2024-08-14 13:13:27 +02:00 |
|
Tom Hvitved
|
89a2381165
|
C#: Adopt shared SSA data-flow integration
|
2024-08-14 08:39:17 +02:00 |
|
Michael Nebel
|
c5343fb829
|
C#: Make language specific ShowProvenance module and update tests.
|
2024-08-13 16:10:11 +02:00 |
|
Tom Hvitved
|
f6ec56a977
|
C#: Implement ContentSet
|
2024-08-13 15:27:36 +02:00 |
|
Tom Hvitved
|
3395dc9e71
|
Merge pull request #16576 from hvitved/csharp/static-field-side-effect
C#: Add support for flow through side-effects on static fields
|
2024-08-13 14:16:28 +02:00 |
|
Tom Hvitved
|
51077ce2e7
|
Merge pull request #17173 from hvitved/shared/inline-flow-provenance
Shared: Apply `ShowProvenance` in `InlineFlowTest.qll`
|
2024-08-13 14:15:08 +02:00 |
|
Tom Hvitved
|
69b581cc4d
|
C#: Update expected test output
|
2024-08-13 13:34:47 +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 |
|