Michael Nebel
|
195ccb0018
|
Merge pull request #16484 from michaelnebel/csharp/superimplmodelgen
C#: Lift models.
|
2024-05-28 15:49:35 +02:00 |
|
Anders Schack-Mulligen
|
5c635e982e
|
C++/C#/Java: Update expected output.
|
2024-05-27 11:01:52 +02:00 |
|
Michael Nebel
|
d272d6a9ca
|
C#: Assume that models should apply when a method is overridable except for the implicit methods on Object and ValueType.
|
2024-05-24 12:50:48 +02:00 |
|
Michael Nebel
|
2449074f3d
|
C#: Remove the DataFlowSummarizedCallable as this narrowing is now handled in the adapter.
|
2024-05-22 15:11:41 +02:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Michael Nebel
|
18fc92247b
|
C#: Update flowsummaries expected output.
|
2024-05-16 15:09:04 +02:00 |
|
Michael Nebel
|
763d53afed
|
C#: Remove the override and ext column from the summaries printing test.
|
2024-05-16 15:08:45 +02:00 |
|
Anders Schack-Mulligen
|
b2f09949df
|
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
Dataflow: update fieldFlowBranchLimit semantics
|
2024-04-23 10:08:05 +02:00 |
|
Anders Schack-Mulligen
|
b87b8329a0
|
Dataflow: Use default fieldFlowBranchLimit in qltests.
|
2024-04-15 15:13:03 +02:00 |
|
Michael Nebel
|
1c8298ae08
|
C#: Update expected test output.
|
2024-04-12 14:24:30 +02:00 |
|
Michael Nebel
|
dc34cb0aae
|
C#: Update all MaD ids in the tests.
|
2024-04-12 13:24:18 +02:00 |
|
Michael Nebel
|
cb3a59446c
|
C#: Remove redundant neutral summaries for ProcessStartInfo.
|
2024-04-12 11:31:59 +02:00 |
|
Michael Nebel
|
e70a49a771
|
C#: Add some manual models for ProcessStartInfo.
|
2024-04-12 11:31:59 +02:00 |
|
Michael Nebel
|
5323af33d2
|
C#: Update flow summaries expected test output.
|
2024-04-12 11:31:58 +02:00 |
|
Anders Schack-Mulligen
|
c3946a92ff
|
C#: Update expected output (interesting)
|
2024-04-12 09:20:21 +02:00 |
|
Anders Schack-Mulligen
|
647f9aba82
|
C#: Update some expected output (uninteresting).
|
2024-04-12 09:20:18 +02:00 |
|
Anders Schack-Mulligen
|
004bda1ee0
|
C#: Add alert provenance plumbing.
|
2024-04-12 09:19:56 +02:00 |
|
Tom Hvitved
|
368a500d93
|
C#: Neutralize some System.Diagnostics generated models
|
2024-04-02 13:58:55 +02:00 |
|
Edward Minnix III
|
7377cbb46e
|
Merge pull request #15930 from egregius313/egregius313/csharp/mad/database/dapper-sources
C#: Sources for the `Dapper` database library
|
2024-03-25 11:21:51 -04:00 |
|
Michael Nebel
|
a07ee8e961
|
C#: Update the AsList model to a value flow model.
|
2024-03-22 14:40:25 +01:00 |
|
Michael Nebel
|
ca72b0583d
|
C#: Update source and sink expected test output.
|
2024-03-22 13:59:47 +01:00 |
|
Ed Minnix
|
4b13ad1310
|
Fix flow summary tests
|
2024-03-22 13:46:20 +01:00 |
|
Ed Minnix
|
9ed8ca27a1
|
Fix test and model
|
2024-03-22 13:46:19 +01:00 |
|
Ed Minnix
|
1f04229def
|
Fix typo
|
2024-03-22 13:46:19 +01:00 |
|
Ed Minnix
|
8223781978
|
Fix FlowSummaries tests
|
2024-03-22 13:46:19 +01:00 |
|
Ed Minnix
|
23aeb1d878
|
Add tests
|
2024-03-22 13:46:18 +01:00 |
|
Ed Minnix
|
c7a746e3dc
|
Flow summary tests
|
2024-03-21 13:15:45 -04:00 |
|
Ed Minnix
|
3e3eceea5f
|
Typo
|
2024-03-21 13:06:34 -04:00 |
|
Ed Minnix
|
08611f0c9c
|
Fix flow summary tests
|
2024-03-21 13:06:30 -04:00 |
|
Ed Minnix
|
3e29a8d2a1
|
System.IO files test
|
2024-03-21 13:06:23 -04:00 |
|
Ed Minnix
|
d387e6d068
|
Fix flow-summary tests
|
2024-03-21 13:06:21 -04:00 |
|
Michael Nebel
|
6619be3137
|
Merge pull request #15940 from michaelnebel/csharp/sourcesinktests
C#: Source- and sink tests.
|
2024-03-21 08:12:16 +01:00 |
|
Michael Nebel
|
969676975d
|
C#: Address review comments.
|
2024-03-20 15:28:56 +01:00 |
|
Michael Nebel
|
d3aa2eed64
|
C#: Fix test.
|
2024-03-19 16:30:24 +01:00 |
|
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
|
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 |
|
Ed Minnix
|
bc745dfd5e
|
Windows registry sources
|
2024-03-11 13:55:34 -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 |
|
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 |
|
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 |
|