1835 Commits

Author	SHA1	Message	Date
Tom Hvitved	004450b201	C#: Add missing StringBuilder flow summaries	2021-04-23 16:17:49 +02:00
Tom Hvitved	956507b5fa	C#: Add guards stress test	2021-04-23 10:25:31 +02:00
Tom Hvitved	4c597dd467	C#: Improve performance of guards library	2021-04-23 10:09:43 +02:00
Tamas Vajk	1a708affbf	Include compilation errors in diagnostic check	2021-04-22 10:08:33 +02:00
Tamas Vajk	64354bbfaa	Fix test results after rebase	2021-04-22 09:23:59 +02:00
Tamas Vajk	ff9327a035	Add diagnostic query to get correctly extracted files	2021-04-22 09:21:46 +02:00
Tamas Vajk	b05e211e21	Fix failing test	2021-04-22 09:21:45 +02:00
Tamas Vajk	353d43a039	Log model errors even in standalone extraction	2021-04-22 09:13:06 +02:00
Tamas Vajk	5149ffdd16	C#: Add extraction error diagnostic query	2021-04-22 09:13:06 +02:00
Tamas Vajk	a0f5e45ae9	C#: Fix special case of default argument value extraction	2021-04-21 16:34:29 +02:00
Tamas Vajk	46197e6e69	Address review comments	2021-04-09 13:39:37 +02:00
Tamas Vajk	a790eb8110	Fix for unconstrained generic types	2021-04-08 12:20:01 +02:00
Tamas Vajk	a8cbdc92b9	Add more test cases	2021-04-08 12:17:19 +02:00
Tamas Vajk	551a7ce9e5	Fix expression value of struct default argument values	2021-04-08 12:14:53 +02:00
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tamas Vajk	cb9a9db356	C# Improve default argument value extraction	2021-04-08 12:07:22 +02:00
Tamas Vajk	2ac1e60406	C#: Add parameter default value tests	2021-04-08 12:04:18 +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
Tamás Vajk	24140195d6	Merge pull request #5242 from tamasvajk/feature/tuple-df ... C#: Add tuple dataflow	2021-03-16 11:45:11 +01:00
Tamás Vajk	8d6b8359eb	Merge pull request #5316 from tamasvajk/feature/roslyn3.9 ... C#: Upgrade Roslyn dependencies to 3.9	2021-03-16 11:44:42 +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	4709442ef3	Extract tuple types from patterns and variable declarations	2021-03-09 09:14:23 +01:00
Tamas Vajk	1d70bfd011	Extract non-named tuple types	2021-03-09 09:06:35 +01:00
Tamas Vajk	7e1eee5fe2	Add tests that show tuple types	2021-03-09 09:06:35 +01:00
Tamas Vajk	90acd8c695	Explicitly enable nullability analysis in guards tests	2021-03-04 11:39:56 +01:00
Tamas Vajk	cb4ed90c5c	Fix failing tests	2021-03-03 16:58:48 +01:00
Tamas Vajk	a5a4329669	C#: Add tests for covariant return types	2021-03-03 14:52:10 +01:00
Tamas Vajk	7ae640ce16	Fix OS specific tests	2021-03-02 09:21:24 +01:00
Tamas Vajk	f2e667173c	C#: Add calli IL opcode extraction	2021-03-02 09:21:24 +01:00
Tamas Vajk	6205ec233c	Fix more failing tests	2021-03-02 09:21:24 +01:00
Tamas Vajk	2b1c6faefd	Fix failing test	2021-03-02 09:21:24 +01:00
Tamás Vajk	3b56e3520c	Merge pull request #5277 from tamasvajk/feature/fix-name-resolution ... Fix method name resolution issue with nullable suppression	2021-03-01 08:47:21 +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