Michael Nebel
|
afec9b05e9
|
Merge pull request #13147 from michaelnebel/csharp/entityframeworkrefactor
C#: Use synthetic global in the EntityFramework code instead of jump steps.
|
2023-06-14 13:47:56 +02:00 |
|
Michael Nebel
|
2200a2ae79
|
C#: Address review comments.
|
2023-06-14 11:25:31 +02:00 |
|
Anders Schack-Mulligen
|
1a4fca334f
|
Merge pull request #13273 from aschackmull/dataflow/summarynode-refactor
Dataflow: Refactor FlowSummaryImpl to synthesize nodes independently from DataFlow::Node.
|
2023-06-14 09:38:36 +02:00 |
|
Michael Nebel
|
9690ff6177
|
C#: Address review comments.
|
2023-06-13 14:19:17 +02:00 |
|
Anders Schack-Mulligen
|
2d616d494e
|
C#/Ruby: Add fields as per review comments.
|
2023-06-13 11:26:30 +02:00 |
|
Michael Nebel
|
577bbd531d
|
C#: Base tests on stubs, move extractor options to options file and updated expected test output.
|
2023-06-13 10:17:42 +02:00 |
|
Tamás Vajk
|
aed6a75cd4
|
Merge pull request #13420 from tamasvajk/feature/standalone-mscorlib
C#: Make sure System.Private.CoreLib is added only once as a reference in standalone extraction
|
2023-06-13 09:29:16 +02:00 |
|
Anders Schack-Mulligen
|
bc7cb1ec47
|
C#: Fix some qltests.
|
2023-06-12 16:19:04 +02:00 |
|
Anders Schack-Mulligen
|
949d4491f9
|
C#: Remove summaries for void-returning Reverse methods.
|
2023-06-12 13:18:28 +02:00 |
|
Anders Schack-Mulligen
|
88fe0f089e
|
C#: Fix expected output.
|
2023-06-12 13:17:55 +02:00 |
|
Anders Schack-Mulligen
|
f8ff575ff0
|
C#: Fix bugs in misc models.
|
2023-06-12 11:37:57 +02:00 |
|
Tamas Vajk
|
cdf1c2639d
|
C#: Only include CoreLib.dll when UseMscorlib option is set
|
2023-06-12 11:03:26 +02:00 |
|
Jami Cogswell
|
9abe3e3da4
|
Shared: use a module as input to 'KindValidation'
|
2023-06-09 14:35:37 -04:00 |
|
Anders Schack-Mulligen
|
2ecce575a9
|
C#: Fix types of summary parameter nodes.
|
2023-06-09 15:39:28 +02:00 |
|
Anders Schack-Mulligen
|
98f51d7f29
|
Dataflow: Sync.
|
2023-06-09 15:39:28 +02:00 |
|
Anders Schack-Mulligen
|
6020e4d0e3
|
C#/Go/Python/Ruby/Swift: Fix some more references.
|
2023-06-09 15:30:38 +02:00 |
|
Anders Schack-Mulligen
|
5e6031724a
|
C#: Adjust to FlowSummaryImpl changes.
|
2023-06-09 15:27:17 +02:00 |
|
Anders Schack-Mulligen
|
2cc5bde925
|
Dataflow: Sync.
|
2023-06-09 15:27:17 +02:00 |
|
Michael Nebel
|
5510d050c1
|
C#: Synthetic names only needs to rely on the output stack.
|
2023-06-09 11:40:04 +02:00 |
|
Tamas Vajk
|
bf3677df16
|
C#: Make sure System.Private.CoreLib is added only once as a reference in standalone extraction
|
2023-06-09 11:29:44 +02:00 |
|
Michael Nebel
|
7620c051d3
|
C#: Remove the savechanges origin name from the synthetic name (this is not needed).
|
2023-06-09 09:15:45 +02:00 |
|
Anders Schack-Mulligen
|
68f1e40370
|
Java/C#: Add change notes.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
d230509905
|
Dataflow: Address review comments.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
4399138c82
|
Dataflow: Fix QL4QL alert.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
53f2b8aab0
|
Dataflow: Sync.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
21dea62e99
|
C#: Fix qltests.
|
2023-06-09 08:37:35 +02:00 |
|
Anders Schack-Mulligen
|
96c1b5b0a9
|
C#: Enable type strengthening.
|
2023-06-09 08:37:35 +02:00 |
|
Anders Schack-Mulligen
|
e8cea79f1d
|
Dataflow: Sync.
|
2023-06-09 08:37:35 +02:00 |
|
Jami Cogswell
|
da58b2afc8
|
Shared: move shared file to 'shared' folder and add parameterized module for 'getInvalidModelKind'
|
2023-06-08 20:05:27 -04:00 |
|
github-actions[bot]
|
e4be303a23
|
Release preparation for version 2.13.4
|
2023-06-08 19:57:37 +00:00 |
|
Michael Nebel
|
2a1c0e8ba6
|
C#: Re-factor.
|
2023-06-08 19:02:07 +02:00 |
|
Michael B. Gale
|
a961fffda8
|
Pass architecture to dotnet test
|
2023-06-08 16:51:57 +01:00 |
|
Tom Hvitved
|
a896be7eb8
|
Merge pull request #13387 from michaelnebel/csharp/dotnettest
C#: Dotnet test tracer improvements.
|
2023-06-08 14:05:29 +02:00 |
|
Mathew Payne
|
8052b35e62
|
Merge branch 'main' into csharp-ext
|
2023-06-08 10:58:02 +01:00 |
|
Mathew Payne
|
c493e276ec
|
Update MaD sink kinds from main
|
2023-06-08 10:57:12 +01:00 |
|
Michael Nebel
|
2fece9d721
|
C#: Add MSTEST test project and check that the call to vstest doesn't get the UseSharedCompilation=false flag forwarded.
|
2023-06-08 10:01:00 +02:00 |
|
Michael Nebel
|
65e651506c
|
C#: Address review comments.
|
2023-06-08 08:51:21 +02:00 |
|
Michael Nebel
|
f9c890be35
|
C#: Address review comments.
|
2023-06-07 14:53:41 +02:00 |
|
Tamás Vajk
|
ccb622348b
|
Merge pull request #13382 from tamasvajk/feature/standalone-dll-unsafe
C#: Change standalone extraction to allow unsafe code
|
2023-06-07 14:37:11 +02:00 |
|
Erik Krogh Kristensen
|
6ba7f9a238
|
Merge pull request #13352 from erik-krogh/once-again-deps-not-py-cpp
delete old deprecations
|
2023-06-07 13:00:57 +02:00 |
|
Michael Nebel
|
d4d571e435
|
C#: Better change note.
Co-authored-by: Michael B. Gale <mbg@github.com>
|
2023-06-07 12:44:36 +02:00 |
|
Michael Nebel
|
3eb3178ba5
|
C#: Add change note.
|
2023-06-07 12:43:31 +02:00 |
|
Michael Nebel
|
5c9b0b9b76
|
C#: Address review comments.
|
2023-06-07 12:43:31 +02:00 |
|
Tamás Vajk
|
8fe025eb64
|
Merge pull request #13384 from tamasvajk/fix/standalone-explicit-interface-error
C#: Improve error message for missing explicit interface implementation
|
2023-06-07 12:19:08 +02:00 |
|
Tamas Vajk
|
0f75449abb
|
Improve code quality
|
2023-06-07 10:40:58 +02:00 |
|
Michael Nebel
|
4dae7ad35a
|
C#: Only inject the shared compilation flag, if argument is not exe or dll.
|
2023-06-06 17:22:52 +02:00 |
|
Michael Nebel
|
0f010afce1
|
C#: Add dotnet test that targets dll.
|
2023-06-06 16:53:26 +02:00 |
|
Tamás Vajk
|
e8f56f2981
|
Update csharp/extractor/Semmle.Extraction.CSharp/Entities/Method.cs
Co-authored-by: Michael B. Gale <mbg@github.com>
|
2023-06-06 16:20:48 +02:00 |
|
Tamas Vajk
|
a4dec591c7
|
C#: Improve error message for missing explicit interface implementation
|
2023-06-06 15:01:54 +02:00 |
|
Tamas Vajk
|
75bc8756f2
|
C#: Change standalone extraction to allow unsafe code
|
2023-06-06 14:43:09 +02:00 |
|