2824 Commits

Author	SHA1	Message	Date
Tamas Vajk	5fae440a58	C#: Reverse assignment child nodes in AST	2020-10-14 12:49:08 +02:00
Tamas Vajk	ee9a40e16d	C#: Remove location from base types in the AST	2020-10-14 12:49:08 +02:00
Tom Hvitved	952b2da7d4	C#: Add copy of ControlFlowReachability.qll to be used by sign/modulus analysis	2020-10-14 10:28:08 +02:00
Tom Hvitved	c32242ed50	C#: Simplify ControlFlowReachability.qll	2020-10-14 10:28:07 +02:00
Tamas Vajk	ce9624e61d	C#: Remove unneeded vscode settings from settings.json	2020-10-13 14:50:46 +02:00
Tamas Vajk	ce793c357f	C#: Adjust parameters of DefinitionField ctor	2020-10-13 14:45:38 +02:00
Tamas Vajk	ea53ea0994	C#: Prefer keywords over type names	2020-10-13 14:45:38 +02:00
Tamas Vajk	8afac25120	C#: Add params modifier on override	2020-10-13 14:45:38 +02:00
Tamas Vajk	63e173198d	C#: Make static member on generic class private	2020-10-13 14:45:38 +02:00
Tamas Vajk	6cf20d569d	C#: Remove overrides that do nothing	2020-10-13 14:45:38 +02:00
Tamas Vajk	9b349eb844	C#: Use Contains instead of IndexOf	2020-10-13 14:45:38 +02:00
Tamas Vajk	5b33f43b78	C#: Use nameof	2020-10-13 14:45:38 +02:00
Tamas Vajk	f84669904b	C#: Fix typo	2020-10-13 14:45:38 +02:00
Tamas Vajk	7075c6f8ca	C#: Fix public property naming	2020-10-13 14:45:38 +02:00
Tamas Vajk	a4fec39c11	C#: Move fields to locals where possible	2020-10-13 14:45:38 +02:00
Tamas Vajk	b07aceff6b	C#: Fix exception throwing	2020-10-13 14:45:37 +02:00
Tamas Vajk	6dfe90e479	C#: Change array-returning properties	2020-10-13 14:45:37 +02:00
Tamas Vajk	7721c7bba7	C#: Remove redundant conditions	2020-10-13 14:45:37 +02:00
Tamas Vajk	cbdd13127e	C#: Convert publicly visible fields to properties	2020-10-13 14:45:37 +02:00
Tamas Vajk	d5382f2cfd	C#: Fix modifier orders	2020-10-13 14:45:37 +02:00
Tamas Vajk	fbc128fcc7	C#: Fix type parameter names	2020-10-13 14:45:37 +02:00
Tamas Vajk	2e350caf9f	C#: Fix private field and local variable naming	2020-10-13 14:45:37 +02:00
Tamas Vajk	ecb29a267b	C#: Add editor config naming rules	2020-10-13 14:45:37 +02:00
Tamas Vajk	baf6f59bfc	C#: Add braces to multiline block statements	2020-10-13 14:45:37 +02:00
Tamas Vajk	28694513a1	C#: Use pattern matching	2020-10-13 14:45:37 +02:00
Tamas Vajk	155453d9cb	C#: Format single line if statements	2020-10-13 14:45:37 +02:00
Tamas Vajk	aec4481cfb	C#: Use var everywhere	2020-10-13 14:45:37 +02:00
Tamas Vajk	7d544e34af	C#: Add declaration visibility modifiers	2020-10-13 14:45:37 +02:00
Tamas Vajk	466e0cf085	C#: Remove naming styles from editor config, add IDE diagnostic severities	2020-10-13 13:27:46 +02:00
Tamas Vajk	ec6ed90c49	C#: Add final new line to files	2020-10-13 13:27:46 +02:00
Tamas Vajk	2e21564032	C#: Fix formatting with 'dotnet format'	2020-10-13 13:27:46 +02:00
Tamas Vajk	7f86768a49	C#: Reformat LINQ extension method call-chains	2020-10-13 13:27:46 +02:00
Tamas Vajk	115a216ea9	C#: Format nested ternary operators	2020-10-13 13:27:46 +02:00
Tamas Vajk	c38bf5ee5b	C#: Reduce nesting and fix some formatting	2020-10-13 13:27:46 +02:00
Tamas Vajk	e73ced2275	C#: Add sealed modifier to classes to fix dispose-pattern, remove explicit IDisposable implementations	2020-10-13 13:27:46 +02:00
Tamas Vajk	397be7e98f	C#: Change constructor visibility to protected in abstract classes	2020-10-13 13:27:46 +02:00
Tamas Vajk	71faa51270	C#: Dispose IDisposables	2020-10-13 13:27:46 +02:00
Tamas Vajk	e208f3d21d	C#: Simplify null checks with pattern matching, ??, and ?:	2020-10-13 13:27:46 +02:00
Tamas Vajk	504f56adeb	C#: Simplify object initialization	2020-10-13 13:27:46 +02:00
Tamas Vajk	b793af571e	C#: Remove unnecessary usings	2020-10-13 13:27:45 +02:00
Tamas Vajk	ec63acfb0c	C#: Inline out variable declarations	2020-10-13 13:27:45 +02:00
Tamas Vajk	f2e6b42aa4	C#: Add type parameter in/out	2020-10-13 13:27:45 +02:00
Tamas Vajk	33672a4058	C#: Simplify using statements	2020-10-13 13:27:45 +02:00
Tamas Vajk	412b87c5c7	C#: Fix loop that iterates only once	2020-10-13 13:27:45 +02:00
Tamas Vajk	79eff06828	C#: Remove unused out argument	2020-10-13 13:27:45 +02:00
Tamas Vajk	921d3eeaec	C#: Mark members static (remove unused members)	2020-10-13 13:27:45 +02:00
Tamas Vajk	68a45e7e9d	C: Remove unused fields	2020-10-13 13:27:45 +02:00
Tamas Vajk	0c9aaa3dce	C#: Remove unused parameters	2020-10-13 13:27:45 +02:00
Tamas Vajk	93c6d5ea58	C#: Fix empty array creation	2020-10-13 13:27:45 +02:00
Tamas Vajk	2d3985742f	C#: Fix length/emptiness checks	2020-10-13 13:27:45 +02:00