Michael Nebel
24572848f3
C#: Move helper function to other repo to allow sharing.
2024-03-01 13:24:04 +01:00
Michael Nebel
07fc84de8c
C#: Don't inject compiler flags when dotnet is used to execute an application.
2024-03-01 13:24:04 +01:00
Tom Hvitved
cb128da5aa
Merge pull request #15762 from hvitved/csharp/fetch-dotnet-dependency-fetching
...
C#: Fetch .NET in dependency manager instead of autobuilder
2024-03-01 13:19:20 +01:00
Tom Hvitved
20ff7def73
Address review comment
2024-03-01 12:54:47 +01:00
Tom Hvitved
a8468a6178
C#: Better handle multiple global.json files
2024-02-29 20:27:52 +01:00
Ed Minnix
f488f23a48
Add LocalFlowSource back to UncontrolledFormatString
2024-02-29 12:06:59 -05:00
Edward Minnix III
89bdb7f437
Remove discussion of local flow in change note
...
Co-authored-by: Michael Nebel <michaelnebel@github.com >
2024-02-29 12:03:19 -05:00
Ed Minnix
86ceeebd89
Change handling of LocalSource in queries
...
1. Change `LocalSource` to extend `DataFlow::Node`, thus removed from
the definiton of `Source`
2. Add a private class `AddLocalSource` which extends `Source`. This
allows us to currently preserve the inclusion of local sources, while
making it easier to remove it in the future.
2024-02-29 12:03:17 -05:00
Ed Minnix
3563c7ef03
Modify deprecated RemoteSource classes to extend DataFlow::Node directly.
...
Since `ThreatModelFlowSource` contains `RemoteFlowSource` by default, we
can safely remove the `RemoteSource` from the default of the queries.
2024-02-29 12:03:16 -05:00
Ed Minnix
e64826db1b
Add threat-model configuration for UncontrolledFormatString test
2024-02-29 12:03:14 -05:00
Ed Minnix
af749e221b
Remove commented out code
2024-02-29 12:03:13 -05:00
Ed Minnix
f237d2aeda
Refactor to use ThreatModelFlowSource
2024-02-29 12:03:12 -05:00
Ed Minnix
5198f52351
Add references to changed queries in change note
2024-02-29 12:03:11 -05:00
Ed Minnix
22e8da2928
Update change note date
2024-02-29 12:03:09 -05:00
Ed Minnix
eb81946adc
Change note changes to mention local sources as well
2024-02-29 12:03:08 -05:00
Ed Minnix
b4dabee770
Remove unnecessary flowsources.Remote imports
...
Since `FlowSources` now re-exports `Remote`, these can be safely removed.
2024-02-29 12:03:07 -05:00
Ed Minnix
434fa20646
Refactor to using ThreatModelFlowSource
2024-02-29 12:03:05 -05:00
Ed Minnix
1086abca63
Refactor to using ThreatModelFlowSource
2024-02-29 12:03:04 -05:00
Ed Minnix
b76795fd28
Refactor to using ThreatModelFlowSource
2024-02-29 12:03:03 -05:00
Ed Minnix
fd3738b10e
Refactor to using SourceNode::getSourceType
2024-02-29 12:03:01 -05:00
Ed Minnix
31d4d0ca57
Move getSourceType to SourceNode
2024-02-29 12:03:00 -05:00
Ed Minnix
75772664f2
Change note
2024-02-29 12:02:58 -05:00
Ed Minnix
f388a0f10c
Deprecate direct uses of RemoteFlowSource and replace with ThreatModelFlowSource
2024-02-29 12:02:57 -05:00
Ed Minnix
bd0137a721
Deprecated direct use of RemoteFlowSource and use ThreatModelFlowSource instead
2024-02-29 12:02:55 -05:00
Tom Hvitved
62382fc5a2
C#: Fetch .NET in dependency manager instead of autobuilder
2024-02-29 11:23:36 +01: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
c6426d8858
C#: Move BuildScript.cs and friends to Semmle.Util
2024-02-29 08:49:20 +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
9563705eb3
C#: Add change note.
2024-02-28 14:53:15 +01:00
Michael Nebel
f6b1d1f235
C#: Add upgrade and downgrade scripts.
2024-02-28 14:09:59 +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
692d7036a0
C#: Add extractor and QL library support for ref readonly parameters.
2024-02-28 13:44:28 +01:00
Michael Nebel
a86de9de2f
C#: Update comment in DB Scheme.
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
Michael Nebel
3c15b21385
C#: Add change note.
2024-02-28 11:25:23 +01:00
Michael Nebel
7535a15fda
C#: Add tests and update expected test output.
2024-02-28 11:22:12 +01:00
Michael Nebel
95dc2f71d3
C#: Add ExperimentalAttribute class.
2024-02-28 11:20:43 +01:00
Tom Hvitved
bbeee8f38d
Merge pull request #15717 from hvitved/csharp/view-cfg
...
Shared `View CFG` implementation
2024-02-27 09:13:18 +01:00
Michael Nebel
cba247788a
C#: Add change note.
2024-02-26 13:51:07 +01:00
Michael Nebel
f9934ed5e7
C#: Add downgrade script.
2024-02-26 13:51:07 +01:00
Michael Nebel
4dd368f7a6
C#: Add upgrade script.
2024-02-26 13:51:07 +01:00
Michael Nebel
80513d846d
C#: Update PrintAst test expected outputs.
2024-02-26 13:51:07 +01:00
Michael Nebel
ff32cf90fd
C#: Add a test for compiler generated statements.
2024-02-26 13:51:06 +01:00
Michael Nebel
e6f4263eff
C#: Do not print compiler generated statements.
2024-02-26 13:51:06 +01:00
Michael Nebel
bf4e3a7d1c
C#: Merge expr_compiler_generated and compiler_generated and add compiler generated statements.
2024-02-26 13:51:06 +01:00
Tom Hvitved
dd0c721e8c
C#: Add change note
2024-02-26 13:48:19 +01:00
