Tom Hvitved
|
f9fb046e9f
|
C#: Update expected test output after rebase
|
2021-10-20 12:15:27 +02:00 |
|
Tom Hvitved
|
53d4d72fe5
|
C#: Simplify SummarizedCallableDefaultClearsContent
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
1196d0c624
|
C#: Rework SummarizedCallable::clearsContent/2
|
2021-10-20 12:08:57 +02:00 |
|
Tom Hvitved
|
083214f85a
|
C#: Use inline test expectations for FieldFlow.ql
|
2021-10-14 15:22:21 +02:00 |
|
Tom Hvitved
|
30bf2aade4
|
C#: Add test for missing summary flow
|
2021-10-11 11:29:08 +02:00 |
|
Anders Schack-Mulligen
|
99ba80d492
|
C#: Adjust test output.
|
2021-10-01 16:57:30 +02:00 |
|
Tom Hvitved
|
c6c1ad1b90
|
C#: Update toString for nested types
|
2021-09-18 19:51:37 +02:00 |
|
Anders Schack-Mulligen
|
f30dad7705
|
Dataflow: Update test expected outputs.
|
2021-09-07 13:02:20 +02:00 |
|
Tamas Vajk
|
b7f13a7e1f
|
C#: Change generic method names to include <> and type args/params
|
2021-09-06 11:48:22 +02:00 |
|
Tom Hvitved
|
01f7fdfea5
|
C#: Update call-context data-flow tests
|
2021-08-25 10:34:53 +02:00 |
|
Tom Hvitved
|
7a475eb0a2
|
C#: Fix CSV overrides logic
|
2021-08-02 10:35:21 +02:00 |
|
Tom Hvitved
|
df29538840
|
C#: Add test that exhibits bug in CSV overrides logic
|
2021-08-02 10:35:21 +02:00 |
|
Tamas Vajk
|
5e2770339f
|
Add adjusted expected files
|
2021-07-01 16:09:11 +02:00 |
|
Tamas Vajk
|
03d1a3e0ad
|
Trim test files + remove duplicate newlines
|
2021-07-01 16:09:11 +02:00 |
|
Tamas Vajk
|
c29d11087b
|
C#: Start using 'options' files in tests
|
2021-07-01 16:08:47 +02:00 |
|
Tamas Vajk
|
0946ae2ae9
|
Fix review findings
|
2021-06-30 11:39:51 +02:00 |
|
Tamas Vajk
|
a90a86bcbf
|
Fix flow from Element of Argument[0] for Int32.TryParse(ReadOnlySpan<Char>,...
|
2021-06-28 11:20:32 +02:00 |
|
Tamas Vajk
|
b7a43dccd3
|
C#: Migrate System.Int32 flow summaries to CSV
|
2021-06-28 11:20:32 +02:00 |
|
Tom Hvitved
|
7a9f9e245f
|
C#: Handle CSV data-flow summaries with out/ref parameters
|
2021-06-24 18:34:25 +02:00 |
|
Tom Hvitved
|
eca11f1b40
|
C#: Adjust getQualifiedName for type parameters
|
2021-06-17 14:47:19 +02:00 |
|
Tom Hvitved
|
3f6beaf9df
|
C#: Add tests for complex CSV flow summaries
|
2021-06-16 19:36:05 +02:00 |
|
Tom Hvitved
|
0af44a7f94
|
C#: Changes to Type::{getQualifier,hasQualifiedName}
|
2021-06-16 19:36:05 +02:00 |
|
Tom Hvitved
|
8866e6c969
|
C#: Always use fully qualified names in CSV data-flow summaries
|
2021-06-16 14:09:45 +02:00 |
|
Tom Hvitved
|
def3d6bac4
|
C#: CSV-based flow summaries
|
2021-06-16 14:09:45 +02:00 |
|
Tamas Vajk
|
33daa2c41d
|
Fix container type extraction of tuple members
|
2021-06-04 14:33:12 +02:00 |
|
Tamas Vajk
|
1ce7c631ff
|
Fix failing tests
|
2021-06-03 13:01:42 +02:00 |
|
Tom Hvitved
|
ee62522c51
|
C#: Extract implicit constructor initializer calls
|
2021-04-29 14:05:42 +02:00 |
|
Tom Hvitved
|
004450b201
|
C#: Add missing StringBuilder flow summaries
|
2021-04-23 16:17:49 +02:00 |
|
Tamas Vajk
|
c069c3384e
|
Fix tests
|
2021-04-08 12:07:36 +02:00 |
|
Tom Hvitved
|
c5c80204d5
|
C#: Rework flow summary implementation
|
2021-03-24 11:27:01 +01:00 |
|
Tom Hvitved
|
6d6150d051
|
C#: Change some data-flow toString()s
|
2021-03-23 16:42:58 +01:00 |
|
Tom Hvitved
|
3c26779f40
|
Merge pull request #5415 from tamasvajk/feature/async-flow
C#: add store step for return statements inside async methods
|
2021-03-23 13:59:19 +01:00 |
|
Tamas Vajk
|
cd820917bc
|
Remove duplicate yield return entries from global dataflow test
|
2021-03-16 21:28:58 +01:00 |
|
Tamas Vajk
|
2541e9cb6a
|
C#: Handle async data flow in expression bodied callables
|
2021-03-16 16:32:47 +01:00 |
|
Tamas Vajk
|
732ef92830
|
C#: add store step for return statements inside async methods
|
2021-03-16 15:18:00 +01:00 |
|
Tamas Vajk
|
c684b74b3d
|
C#: Add async dataflow tests
|
2021-03-16 14:46:16 +01:00 |
|
Tom Hvitved
|
a373a523f6
|
Data flow: Move C# lambda flow logic into shared library
|
2021-03-16 13:49:32 +01:00 |
|
Tom Hvitved
|
e1e4016a5c
|
C#: Fix missing delegate flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
29c6d22163
|
C#: Add test exposing missing delegate flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
25adcfc39d
|
C#: Fix missing phi flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
e092b31791
|
C#: Add test exposing missing phi flow
|
2021-03-16 13:16:23 +01:00 |
|
Tamas Vajk
|
27048191c8
|
C#: Add dataflow test for tuple-positional pattern
|
2021-03-12 17:14:24 +01:00 |
|
Tamas Vajk
|
0defad77dd
|
C#: Add tuple data flow in patterns
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
80a7b52f38
|
C#: Convert data-flow test queries to path-problems
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
0698bdd907
|
C#: Restrict tuple read/store steps to tuple deconstructions/constructions
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
6d409a0050
|
Fix failing tests
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
d05a733109
|
Add more test cases
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
0ca4bf4267
|
C#: WIP: Add tuple data flow
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
6205ec233c
|
Fix more failing tests
|
2021-03-02 09:21:24 +01:00 |
|
Tom Hvitved
|
ac67c67ad7
|
Merge pull request #4998 from hvitved/csharp/shared-base-pre-ssa
C#: Use shared SSA implementation for `{Pre,Base}Ssa`
|
2021-02-26 11:29:07 +01:00 |
|