Tom Hvitved
|
ee3e38f0eb
|
Simplify test interface in FlowSummaryImpl.qll
|
2024-03-19 14:35:00 +01:00 |
|
Michael Nebel
|
d24f032d97
|
C#: Update other tests.
|
2024-03-19 14:20:43 +01:00 |
|
Michael Nebel
|
b39842501a
|
C#: Update sink test expected output.
|
2024-03-19 14:20:42 +01:00 |
|
Michael Nebel
|
e32902ad47
|
C#: Update source expected test output.
|
2024-03-19 14:20:42 +01:00 |
|
Michael Nebel
|
5b37ee4ec7
|
Re-factor TestOutput into a param module.
|
2024-03-19 14:20:42 +01:00 |
|
Michael Nebel
|
90db9b330f
|
C#: Add MaD source and sink test query to shared library.
|
2024-03-19 13:45:38 +01:00 |
|
Tom Hvitved
|
fc55567d90
|
Merge pull request #15853 from hvitved/dataflow/get-location
Data flow: Replace `hasLocationInfo` with `getLocation`
|
2024-03-18 20:21:46 +01:00 |
|
Tom Hvitved
|
e53357d376
|
Update expected test output
|
2024-03-18 14:49:32 +01:00 |
|
Tom Hvitved
|
a13391bda1
|
Merge pull request #15802 from hvitved/dataflow/variable-capture-overlapping-paths
Variable capture: Avoid overlapping and false-positive data flow paths
|
2024-03-18 10:45:55 +01:00 |
|
Edward Minnix III
|
c190dd21db
|
Merge pull request #15877 from egregius313/egregius313/csharp/mad/sources/windows-registry
C#: Add source models for values from the Windows registry
|
2024-03-12 16:41:42 -04:00 |
|
Michael Nebel
|
2e5155d1f8
|
C#: Remove all CIL related tests.
|
2024-03-12 11:12:55 +01:00 |
|
Tom Hvitved
|
257686eb9a
|
C#: Implement new data flow interface
|
2024-03-11 20:56:38 +01:00 |
|
Ed Minnix
|
bc745dfd5e
|
Windows registry sources
|
2024-03-11 13:55:34 -04:00 |
|
Ed Minnix
|
3fdc7e95df
|
Add local models to CodeInjection tests
|
2024-03-10 22:20:54 -04:00 |
|
Edward Minnix III
|
58f2777532
|
Merge pull request #15629 from egregius313/egregius313/csharp/dataflow/threat-modeling/remove-stored-query-variants
C#: Remove `Stored` variants of queries
|
2024-03-10 22:17:03 -04:00 |
|
Edward Minnix III
|
e7852f520f
|
Merge pull request #15605 from egregius313/egregius313/csharp/dataflow/sources/commandargs-and-environment
C#: Add more `environment` and `commandargs` sources for the C# Standard Library
|
2024-03-08 14:10:09 -05:00 |
|
Michael Nebel
|
36a775502f
|
Merge pull request #15851 from microsoft/54-csharp-add-missing-mad-for-httprequestmessage-upstream
csharp update MaD for HttpRequestMessage
|
2024-03-08 12:39:08 +01:00 |
|
Tom Hvitved
|
24e35f6f3d
|
Update expected test output
|
2024-03-08 10:00:43 +01:00 |
|
Ed Minnix
|
7f950d8e0d
|
Fix ExpandEnvironmentVariables test case
|
2024-03-07 21:48:05 -05:00 |
|
Lindsay Simpkins
|
feb1ca29cc
|
csharp update MaD for HttpRequestMessage
|
2024-03-07 15:00:05 -08:00 |
|
Michael Nebel
|
5b48bc4a3e
|
C#: Delete the experimental IR queries.
|
2024-03-07 19:22:47 +01:00 |
|
Michael Nebel
|
48fcec82d6
|
Merge pull request #15736 from michaelnebel/csharp/disconnectfromdotnet
C#: Deprecate dotnet and CIL in QL.
|
2024-03-07 19:17:05 +01:00 |
|
Ed Minnix
|
f8c805de6b
|
Microsoft.Extensions.Configuration models
|
2024-03-07 12:32:04 -05:00 |
|
Ed Minnix
|
a3f6bfe1df
|
commandargs sources
|
2024-03-07 12:30:06 -05:00 |
|
Ed Minnix
|
51afe12ae1
|
Environment variable sources
|
2024-03-07 12:20:48 -05:00 |
|
Michael Nebel
|
73040bd30f
|
C#: Use fully qualified name with types instead of label in IR queries.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
990dec67d0
|
C#: Address more review comments.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
43ee62ad64
|
C#: Update the NoDisposeCallOnLocalIDisposable and expected output.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
eda345a5b8
|
C#: Address review comments.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
35b93063f9
|
C#: Deprecate dotnet and cil.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
16375b0fe7
|
C#: Remove CIL dataflow tests.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
37677142b9
|
C#: Update QL tests.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
d7dc73e18b
|
C#: Remove the CIL related parts of the Disposal tests.
|
2024-03-07 09:40:32 +01:00 |
|
Ed Minnix
|
a87df5459f
|
Fix flow summary tests
|
2024-03-06 10:39:32 -05:00 |
|
Ed Minnix
|
94a941115f
|
Fix FlowSummaries test results
|
2024-03-06 10:39:27 -05:00 |
|
Tom Hvitved
|
bd7b2c4cc6
|
Update expected output
|
2024-03-05 10:44:13 +01:00 |
|
Tom Hvitved
|
357638baa8
|
C#: Update variable capture test
|
2024-03-04 14:39:48 +01:00 |
|
Ed Minnix
|
59b14f6a69
|
Fix test expectations (merge conflict)
|
2024-03-01 12:52:03 -05:00 |
|
Ed Minnix
|
45e1be875c
|
Fix test expectations
|
2024-03-01 12:52:00 -05:00 |
|
Ed Minnix
|
4dc605354c
|
Second-order SQL injection
|
2024-03-01 12:51:59 -05:00 |
|
Ed Minnix
|
e84a509976
|
Modify test cases
|
2024-03-01 12:51:56 -05:00 |
|
Ed Minnix
|
e64826db1b
|
Add threat-model configuration for UncontrolledFormatString test
|
2024-02-29 12:03:14 -05:00 |
|
Michael Nebel
|
14d046ef18
|
Merge pull request #15710 from michaelnebel/csharp/refreadonlyparameters
C# 12: Ref readonly parameters.
|
2024-02-29 09:59:12 +01:00 |
|
Tom Hvitved
|
297a17975d
|
Merge pull request #15665 from hvitved/csharp/variable-capture
C#: Adopt shared variable capture library
|
2024-02-28 15:13:03 +01:00 |
|
Michael Nebel
|
00d311205b
|
C#: Update expected test output.
|
2024-02-28 13:44:28 +01:00 |
|
Michael Nebel
|
794bc44a41
|
C#: Add test query predicate for ref readonly parameters.
|
2024-02-28 13:44:28 +01:00 |
|
Michael Nebel
|
18c7e73805
|
C#: Add test for parameter modifiers.
|
2024-02-28 13:44:28 +01:00 |
|
Michael Nebel
|
d8bff14365
|
C#: Adjust locations for the parameter default value tests.
|
2024-02-28 13:44:28 +01:00 |
|
Michael Nebel
|
4bbaf687ad
|
Merge pull request #15723 from michaelnebel/csharp/experimentalattribute
C# 12: Experimental attribute.
|
2024-02-28 13:06:09 +01:00 |
|
Michael Nebel
|
65ec80967e
|
Merge pull request #15696 from michaelnebel/csharp/compilergeneratedstmt
C#: Compiler generated statements.
|
2024-02-28 12:06:39 +01:00 |
|