2824 Commits

Author	SHA1	Message	Date
Tom Hvitved	35985a9189	Merge pull request #4452 from hvitved/csharp/ssa/overlapping-captured-defs ... C#: Avoid overlapping SSA definitions for `ref`/`out` captured variables	2020-10-12 13:01:39 +02:00
Tom Hvitved	9d1f64d35d	C#: Avoid overlapping SSA definitions for ref/out captured variables	2020-10-12 10:52:40 +02:00
Anders Schack-Mulligen	725194a3b8	Merge pull request #4447 from aschackmull/dataflow/postupdate-flow-consistency ... Dataflow: Introduce consistency check for flow targeting PostUpdateNodes	2020-10-12 08:56:19 +02:00
Tom Hvitved	723699a584	C#: Add SSA test for overlapping captured variable definitions	2020-10-09 16:01:19 +02:00
Anders Schack-Mulligen	1c043447e8	Dataflow: Introduce consistency check for flow targeting PostUpdateNodes.	2020-10-09 14:29:52 +02:00
Tom Hvitved	29fb23e6a4	C#: Add flow summaries for System.[Value]Tuple	2020-10-09 13:38:30 +02:00
Tom Hvitved	412524103c	Merge pull request #4437 from hvitved/csharp/cfg/compiler-generated-array-lengths ... C#: Include compiler-generated array lengths in the CFG	2020-10-09 10:54:56 +02:00
Tamas Vajk	f3f908383b	C#: Adjust autobuilder tests for added nuget.exe flag	2020-10-08 17:07:40 +02:00
Tamas Vajk	522f41377f	C#: Add '-DisableParallelProcessing' flag to nuget restore in Autobuilder	2020-10-08 17:02:14 +02:00
Tom Hvitved	ca4e5014ae	C#: Include compiler-generated array lengths in the CFG	2020-10-08 10:35:50 +02:00
Tom Hvitved	ce8567c64a	Merge pull request #4293 from hvitved/csharp/cfg/assertions ... C#: Model assertions in the CFG	2020-10-08 10:32:13 +02:00
Tom Hvitved	b70f5bc954	Merge pull request #4433 from hvitved/csharp/dataflow/switch-expr ... C#: Add missing data-flow for switch expressions	2020-10-08 09:13:43 +02:00
Anders Schack-Mulligen	cb00f8bcc4	Merge pull request #4362 from tamasvajk/feature/sign-analysis-cleanup ... Sign analysis cleanup	2020-10-08 09:10:04 +02:00
Tamás Vajk	06f1c898dc	Merge pull request #4349 from tamasvajk/feature/modulus-analysis ... ModulusAnalysis shared between C# and Java	2020-10-07 21:21:20 +02:00
Tom Hvitved	a9bb7b526c	Merge pull request #4413 from hvitved/csharp/indexer-explicit-interface ... C#: Fix extraction of library indexers with explicit interface implementations	2020-10-07 18:49:30 +02:00
Tom Hvitved	31816af11e	C#: Add missing data-flow for switch expressions	2020-10-07 17:10:29 +02:00
Tom Hvitved	9c503c1591	C#: Add more data/control-flow tests	2020-10-07 17:10:01 +02:00
Tamas Vajk	4df6a41616	ModulusAnalysis shared between C# and Java	2020-10-07 16:12:24 +02:00
Tamás Vajk	cec6bbea57	Merge pull request #4418 from tamasvajk/feature/reenable-test ... C#: Reenable disabled test on OSX	2020-10-07 16:03:27 +02:00
Tom Hvitved	af36718dc6	C#: QL doc adjustments	2020-10-07 15:15:18 +02:00
Tom Hvitved	68014fd3bf	C#: Fix extraction of library indexers with explicit interface implementations	2020-10-07 15:02:55 +02:00
Tom Hvitved	a4ce9417bc	C#: Add test for missing accessors	2020-10-07 14:53:51 +02:00
Tom Hvitved	88575799e9	Merge pull request #4417 from hvitved/csharp/named-tuple-tests ... C#: Add test for named tuple types	2020-10-07 13:26:49 +02:00
Tamas Vajk	d2d8d009eb	Sync Bound between C# and Java	2020-10-07 11:43:30 +02:00
Tamas Vajk	94dc11c45a	Revert getNonIntegerValue unification	2020-10-07 10:56:01 +02:00
Tamas Vajk	4f56a97244	C#: Adjust expected files for .net 3.1 upgrade	2020-10-06 16:01:14 +02:00
Tamas Vajk	56604e005a	C#: Upgrade to .net core app 3.1	2020-10-06 16:01:14 +02:00
Tamás Vajk	8d09885ae6	Merge pull request #4378 from tamasvajk/feature/flow-summary-nullable ... Flow summary nullable	2020-10-06 11:45:41 +02:00
Tom Hvitved	e15758ba7f	C#: Add test for named tuple types	2020-10-06 11:42:11 +02:00
Tamas Vajk	36ddbcdd71	C#: Reenable disabled test on OSX	2020-10-06 11:41:48 +02:00
Tom Hvitved	6bd355784a	Merge pull request #4353 from hvitved/csharp/dataflow/task-precise ... C#: Precise data-flow for `System.Threading.Tasks`	2020-10-06 10:45:19 +02:00
Tamas Vajk	576085af50	Add extra information to nullable conversion test file	2020-10-06 09:03:49 +02:00
Tamas Vajk	faf663a334	C#: Flow summary for Nullable<T>	2020-10-06 09:03:49 +02:00
Tamás Vajk	77abff7c90	Merge pull request #4405 from tamasvajk/feature/lazy-flow ... C#: Improve data flow summary for System.Lazy<>	2020-10-06 09:01:48 +02:00
Tom Hvitved	c39bca5240	C#: Model data-flow for System.Threading.Tasks.Task<T>.GetAwaiter()	2020-10-05 17:15:54 +02:00
Tamas Vajk	3b70064606	C#: Improve data flow summary for System.Lazy<>	2020-10-05 14:45:14 +02:00
Tom Hvitved	4d62033a15	C#: Handle population of error types	2020-10-05 10:14:13 +02:00
Tom Hvitved	c0b251ad9e	C#: Precise data-flow for System.Threading.Tasks	2020-10-03 11:13:45 +02:00
Tom Hvitved	26544f322a	C#: Update data-flow tests for System.Threading.Tasks	2020-10-03 11:13:45 +02:00
Alexander Eyers-Taylor	30ed6a0dac	Merge pull request #4385 from aibaars/drop-queries ... Drop 'tech-inventory' and 'code duplication' queries from the standard query suites	2020-10-02 18:31:25 +01:00
Tom Hvitved	1a93090778	C#: Improve guards SSA logic in the context of control-flow splitting	2020-10-02 18:00:34 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Arthur Baars	daa1bcc06e	Also mark 'tech inventory' queries as deprecated	2020-10-02 17:23:11 +02:00
Arthur Baars	fc45b6cd3c	Drop 'tech-inventory' and 'code duplication' queries from the standard query suites	2020-10-02 17:22:04 +02:00
Tom Hvitved	17f0ac4b20	C#: Add more CFG assertion tests	2020-10-02 15:35:33 +02:00
Tom Hvitved	55d25d90fa	Merge pull request #4386 from hvitved/csharp/remove-deprecated-queries ... C#: Remove deprecated external queries	2020-10-02 15:12:33 +02:00
Chris Smowton	aa707e9370	Merge pull request #4381 from smowton/smowton/admin/fix-owasp-broken-links ... Fix OWASP broken links	2020-10-02 08:51:36 +01:00
Tamas Vajk	1cf3196b61	Fix additional PR review findings	2020-10-02 09:12:13 +02:00
Tamas Vajk	01de550ef8	Make predicates private	2020-10-02 09:12:13 +02:00
Tamas Vajk	f52cf264ec	Refactor specificSubExprSign	2020-10-02 09:12:13 +02:00