Michael Nebel
7f5d2e1f44
C#: Update flowsummaries expected output.
2024-02-02 14:47:44 +01:00
Michael Nebel
6ff22622ca
C#: Add summaries for Span<T> and ReadOnlySpan<T>.
2024-02-02 14:47:44 +01:00
Michael Nebel
bf94a75698
Merge pull request #15502 from michaelnebel/csharp/refstructdataflow
...
C#: Inter-procedural dataflow for `ref` structs when used as arguments.
2024-02-02 14:44:51 +01:00
Tom Hvitved
6df313b9d1
Merge pull request #15509 from hvitved/csharp/node-reuse-dependency-fetching
...
C#: Disable msbuild node reuse in dependency fetcher
2024-02-02 13:54:53 +01:00
Tom Hvitved
fa3130cc95
C#: Disable msbuild node reuse in dependency fetcher
2024-02-02 10:15:33 +01:00
Tamás Vajk
5ab4ed1b3b
Merge pull request #15505 from tamasvajk/feature/improve-logs
...
C#: Improve messages in buildless extraction logs
2024-02-02 09:22:17 +01:00
Tamas Vajk
7b554636ae
C#: Improve messages in buildless extraction logs
2024-02-01 16:45:59 +01:00
Michael Nebel
551a7f9577
C#: Update expected test output.
2024-02-01 15:04:06 +01:00
Michael Nebel
9191acc412
C#: Prevent flow out of non ref fields in ref structs used as arguments.
2024-02-01 15:04:06 +01:00
Michael Nebel
4a89cbe8ea
C#: Add postupdate nodes for arguments of struct type.
2024-02-01 15:04:06 +01:00
Michael Nebel
4dfeff38f9
C#: Add dataflow field test for ref structs with ref and ordinary fields.
2024-02-01 15:04:06 +01:00
Henti Smith
16e62e6649
Merge pull request #15475 from github/henti/update_dotnet
...
Updated dotnet version to 8.0.101
2024-02-01 11:25:21 +00:00
Tom Hvitved
bfe4a4bf0b
C#: Additional tracking of lambdas through fields and properties
2024-02-01 11:51:00 +01:00
Tom Hvitved
817d04c087
C#: Add more delegate flow tests
2024-02-01 11:51:00 +01:00
Tom Hvitved
5080077038
Merge pull request #15484 from hvitved/csharp/qualified-delegate-extraction-fix
...
C#: Fix extraction of qualified delegate calls
2024-02-01 11:50:09 +01:00
Tom Hvitved
d1ed317832
C#: Add tests for qualified delegate pointer calls
2024-02-01 10:59:05 +01:00
Tamás Vajk
1478709382
Merge pull request #15491 from tamasvajk/feature/node-reuse-autobuild
...
C#: Disable msbuild node reuse in autobuild
2024-02-01 09:26:32 +01:00
Tamas Vajk
a486481453
Fix integration test result after merge
2024-01-31 16:20:06 +01:00
Tamas Vajk
4608550e48
C#: Disable msbuild node reuse in autobuild
2024-01-31 16:14:40 +01:00
Tamas Vajk
3d25ebc13c
Revert "C#: Add /nodeReuse:false to autobuild build command"
...
This reverts commit bcee901fbd
2024-01-31 16:12:21 +01:00
Henti Smith
96f366f819
Updated version from PR#15472
2024-01-31 14:07:22 +00:00
Tamas Vajk
bcee901fbd
C#: Add /nodeReuse:false to autobuild build command
2024-01-31 14:12:49 +01:00
Tom Hvitved
c74bc68287
C#: Fix extraction of qualified delegate calls
2024-01-31 13:21:16 +01:00
Henti Smith
51f4179b77
Merge branch 'main' into henti/update_dotnet
2024-01-31 11:06:23 +00:00
Tom Hvitved
c21bf5d82c
C#: Add tests for qualified delegate calls
2024-01-31 11:22:35 +01:00
Michael Nebel
e575e97eb9
C#: Update cil attribute expected output.
2024-01-31 10:08:55 +01:00
Tamás Vajk
1d56a8a924
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2024-01-31 09:46:57 +01:00
Michael Nebel
9a6751a6dd
C#: Update the RuntimeFrameworkVersion to 8.0.1.
2024-01-31 09:27:37 +01:00
Tamas Vajk
dabe63ce8b
Add change note
2024-01-31 08:44:43 +01:00
Tamas Vajk
1d525dd06c
Add new DB stats file
2024-01-31 08:32:17 +01:00
Tamas Vajk
8008152199
List compiler /analyzer arguments in cs/telemetry/extraction-information
2024-01-31 08:32:16 +01:00
Tamas Vajk
fb4315f1fc
Add DB upgrade/downgrade folders
2024-01-31 08:32:16 +01:00
Tamas Vajk
fddbb1a722
C#: Extract expanded compiler arguments
2024-01-31 08:32:16 +01:00
Tamas Vajk
0196d808c7
Update expected test results in integration tests
2024-01-31 08:30:43 +01:00
Henti Smith
612256b760
Updated dotnet to 8.0.101
...
This is a corresponding PR to https://github.com/github/semmle-code/pull/48786
2024-01-30 16:23:07 +00:00
Michael Nebel
41cca4711b
Merge pull request #15426 from michaelnebel/csharp/collectionexpressions
...
C# 12: Support for collection expressions.
2024-01-30 10:39:39 +01:00
Michael Nebel
cda09478c5
C# Update expected test output and remove false positive.
2024-01-29 14:37:25 +01:00
Michael Nebel
63c06b72b1
C#: Chop dataflow of spread into smaller steps and make sure to only propagate element flow for the spread operator.
2024-01-29 14:34:57 +01:00
Michael Nebel
b6f94ea44a
C#: Add example test of field flow via the spread operator, which leads to a false positive.
2024-01-29 14:30:52 +01:00
Michael Nebel
cd5f678e1c
C#: Add IntegerCollection class to the CollectionFlow tests and update line numbers in expected test output.
2024-01-29 14:28:05 +01:00
Tamas Vajk
4dffb3bfdd
Change integration test to specify .net 6.0 as target framework
2024-01-29 12:40:51 +01:00
Tamas Vajk
f16aa034a2
Code quality improvement
2024-01-29 12:29:01 +01:00
Tamas Vajk
7a8d83e859
C#: Add integration test with asp.net core view generation on dotnet 6
...
Source generators are needed for asp.net core view generation. Dotnet 6 is the first version where we support view generation. This commit adds an integration test for this.
2024-01-29 11:52:55 +01:00
Tamas Vajk
92fec66370
C#: Add integration test for disabled asp.net core view generation
2024-01-29 11:52:55 +01:00
Tamas Vajk
d7de5fcfcb
C#: Change asp.net core view generation to be opt out
2024-01-29 10:52:26 +01:00
Michael Nebel
da4a9b620a
C#: Add change note.
2024-01-26 14:24:27 +01:00
Michael Nebel
13b8d57bff
C#: Add collection flow test cases for collection expressions.
2024-01-26 14:18:16 +01:00
Michael Nebel
168f5b5554
C#: Add dataflow support for collection expressions.
2024-01-26 14:18:16 +01:00
Michael Nebel
8eb89cf0bb
C#: Add test and expected output.
2024-01-26 14:18:16 +01:00
Tamás Vajk
7a50d7a95f
Merge pull request #15437 from tamasvajk/feature/log-verbosity
...
C#: Introduce log verbosity extractor option
2024-01-26 12:33:06 +01:00
