1004 Commits

Author	SHA1	Message	Date
Tamas Vajk	4bb8b6c992	Extract nullable directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	15c611e22f	Extract warning and error directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	3740aba4a8	Extract undef directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	9b405144ff	Extract define directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	94bf3467b7	Extract pragma checksum directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	8b9c6712d1	Extract pragma warning directives	2021-02-04 08:42:38 +01:00
Tamas Vajk	48d24b2264	Get line comments from trivia lines	2021-02-04 08:42:38 +01:00
Tamas Vajk	046a37b834	Simplify element access extraction	2021-02-04 08:42:38 +01:00
Tamas Vajk	c3ef6841d0	Add tests for trivia types	2021-02-04 08:42:38 +01:00
Tom Hvitved	a45c415c5b	Merge pull request #5067 from hvitved/csharp/cfg/patterns ... C#: Adjust CFG for `{Recursive,Positional,Property}PatternExpr`	2021-02-03 12:09:39 +01:00
Tom Hvitved	1ffa15ea96	C#: Update expected test output	2021-02-02 08:52:28 +01:00
Tom Hvitved	249e431e87	C#: Adjust CFG for {Recursive,Positional,Property}PatternExpr	2021-02-01 13:52:18 +01:00
Tamas Vajk	7d62e33feb	C#: Rework function pointer/delegate call DF	2021-02-01 13:40:03 +01:00
Tamas Vajk	1b6cb340d3	C#: Report IndexerProperty as Property in the PrintAST query	2021-02-01 10:08:51 +01:00
Tamás Vajk	aa35fcafeb	Merge pull request #5018 from tamasvajk/feature/csharp9-binary-pattern-cfg ... C#: Extract 'and' and 'or' patterns	2021-02-01 09:17:52 +01:00
Tamas Vajk	7e9913a8a7	Fix failing pattern tests	2021-01-29 17:25:44 +01:00
Tamas Vajk	a9c51e7300	Fix missing pattern matching completions	2021-01-29 15:16:30 +01:00
Tamas Vajk	91152d3a65	Add additional tests to delegate call data flow	2021-01-29 12:02:11 +01:00
Tamas Vajk	191962f64c	C#: Add data flow 'getARuntimeTarget' predicate to 'FunctionPointerCall'	2021-01-29 12:01:38 +01:00
Tom Hvitved	e6f81bcf0b	C#: Update expected test output	2021-01-28 10:34:50 +01:00
Tom Hvitved	6ee5cdf2b2	C#: Simpler data-flow modelling of parameters	2021-01-28 10:34:47 +01:00
Tom Hvitved	65ea01e145	Merge pull request #4999 from hvitved/csharp/dataflow/phi-input ... C#: Adjust flow into phi nodes	2021-01-28 09:07:01 +01:00
Tamas Vajk	669e207600	Fix sign analysis expected file	2021-01-27 16:40:56 +01:00
Tamas Vajk	10518744cf	C#: Remove expressions inside attributes from CFG	2021-01-27 13:20:06 +01:00
Tamas Vajk	e24e5b13f5	C#: Improve CFG to handle 'and' and 'or' patterns	2021-01-27 11:52:59 +01:00
Tamas Vajk	4685fc0a32	C#: Extract binary patterns	2021-01-27 11:27:52 +01:00
Tom Hvitved	39977e9a43	Merge pull request #4724 from hvitved/csharp/cfg/not-pattern ... C#: Implement CFG for `not` patterns	2021-01-27 10:12:31 +01:00
Tom Hvitved	214505c4dc	Merge pull request #5016 from hvitved/csharp/exception-dispatch-info ... C#: Teach CFG about `ExceptionDispatchInfo::Throw`	2021-01-27 08:36:51 +01:00
Tamás Vajk	e4ed050c87	Merge pull request #4970 from tamasvajk/feature/extraction-errors ... C#: Fix extraction errors	2021-01-26 11:28:39 +01:00
Tamás Vajk	3ece8c3a01	Merge pull request #4835 from tamasvajk/feature/cil-fnptr ... C#: Extract function pointer types from CIL	2021-01-26 11:28:02 +01:00
Tom Hvitved	cd8155c201	C#: Teach CFG about ExceptionDispatchInfo::Throw	2021-01-26 09:16:53 +01:00
Tom Hvitved	07a96c3596	C#: Add CFG tests for ExceptionDispatchInfo::Throw	2021-01-26 09:01:06 +01:00
Tom Hvitved	6ffeaf8c2a	C#: Adjust flow into phi nodes	2021-01-25 15:44:37 +01:00
Tom Hvitved	38b0f743cb	C#: Add test that illustrates problem with flow through phi nodes	2021-01-25 14:20:27 +01:00
Tom Hvitved	e0c7f32282	C#: Add relational pattern CFG test	2021-01-25 13:52:17 +01:00
Tom Hvitved	063733ad52	C#: Implement CFG for not patterns	2021-01-25 13:52:17 +01:00
Tom Hvitved	ab85b2c2d2	C#: Add is not null guards test	2021-01-25 13:52:17 +01:00
Tom Hvitved	0080357153	C#: Add unary pattern CFG tests	2021-01-25 13:52:17 +01:00
Tom Hvitved	6fc14976cf	C#: Remove uses of getAQlClass()	2021-01-22 15:00:45 +01:00
Tom Hvitved	bc41c26354	Merge pull request #4959 from hvitved/csharp/ssa/split ... C#: Split up SSA implementation	2021-01-21 10:52:49 +01:00
Tamas Vajk	ab8dc27b26	Add missing 'bindingset'	2021-01-20 15:44:05 +01:00
Tamas Vajk	727412b26b	Store by-ref type annotation in trap and add tests	2021-01-20 15:44:05 +01:00
Tamas Vajk	2804f5cba9	Add by-ref, and fix pinned CIL extraction	2021-01-20 15:44:05 +01:00
Tamas Vajk	f986c15200	Add QL classes for CIL function pointers, and add test	2021-01-20 15:44:05 +01:00
Tamas Vajk	0c213d0926	C#: Extract function pointer types from CIL	2021-01-20 15:44:05 +01:00
Tamas Vajk	613bf6dca6	Fix failing test	2021-01-19 17:26:31 +01:00
Tamas Vajk	1d9b3ec8b4	Allow annotating fnptr return types	2021-01-19 17:26:31 +01:00
Tamas Vajk	348fe8f2fc	Address PR review comments	2021-01-19 17:26:31 +01:00
Tamas Vajk	a9986ca72d	Fix expected printed AST	2021-01-19 17:26:31 +01:00
Tamas Vajk	fd27bde4b5	Add function pointer conversion tests	2021-01-19 17:26:31 +01:00