3471 Commits

Author	SHA1	Message	Date
Tamas Vajk	f971f42bb1	Add new stats file	2021-01-07 15:24:10 +01:00
Tamas Vajk	fdf5cf9dd0	C#: Extract anonymous types explicitly	2021-01-07 15:24:10 +01:00
Tom Hvitved	63f76b1b43	C#: Uniform treatment of all SSA definitions	2021-01-07 15:16:44 +01:00
Tom Hvitved	8d77f4bac9	C#: Remove ImplicitUntrackedDefinition	2021-01-07 15:16:39 +01:00
Tamás Vajk	3b16d2689d	Merge pull request #4821 from tamasvajk/feature/csharp9-cil-init-prop ... C#: Extract init only accessors from CIL	2021-01-07 15:04:40 +01:00
Tom Hvitved	2c09f9a8f2	Merge pull request #4903 from hvitved/csharp/ssa-fast-tc ... C#: Port SSA performance improvements from Java	2021-01-07 09:17:21 +01:00
Tom Hvitved	74622cf6f3	C#: Fix join-order following stats update	2021-01-06 12:16:19 +01:00
Tamas Vajk	12c28547fc	Fix code review findings	2021-01-05 15:15:13 +01:00
Tom Hvitved	7f25efd43f	Merge pull request #4858 from hvitved/csharp/merge-format-queries ... C#: Merge queries `FormatInvalid.ql`, `FormatMissingArgument.ql`, and `FormatUnusedArgument.ql`	2021-01-04 14:53:34 +01:00
Tom Hvitved	1237e566d0	C#: Fix typo	2021-01-04 12:59:45 +01:00
Tom Hvitved	c1f822c83f	C#: Port SSA performance improvements from Java	2021-01-04 10:18:17 +01:00
Tom Hvitved	b5a1e039a4	C#: Merge queries FormatInvalid.ql, FormatMissingArgument.ql, and FormatUnusedArgument.ql	2020-12-21 10:13:56 +01:00
Tom Hvitved	8d6c69bf74	C#: Move Expr::hasValue() to DotNet::Expr	2020-12-21 09:46:45 +01:00
Tom Hvitved	d53faa86dc	C#: Restrict FormatInvalid.ql and UncontrolledFormatString.ql to calls with insertions	2020-12-18 10:53:11 +01:00
Tamas Vajk	8eeab8fdd0	Add new stats file	2020-12-17 21:22:58 +01:00
Tamas Vajk	f3a0d1d138	Add test to list all custom modifiers extracted from IL	2020-12-17 15:43:41 +01:00
Tamas Vajk	7662b55ecc	C#: Extract init only accessors and custom modifiers	2020-12-17 15:43:41 +01:00
Tom Hvitved	fe559c190e	C#: Recognize format methods without insertion parameters	2020-12-17 15:39:01 +01:00
Tamas Vajk	57c163f314	C#: Add test for CIL setter extraction	2020-12-17 15:23:33 +01:00
Robert Marsh	5d2a553059	C++/C#: autoformat	2020-12-15 17:16:31 -08:00
Robert Marsh	fd14eb4c8c	C++: remove unreachable IR operands in late stages	2020-12-15 11:45:40 -08:00
Tamas Vajk	8fd409898a	Add new stats file	2020-12-15 18:34:47 +01:00
Tamas Vajk	6cf3ca49e4	C#: Extract 'ImplicitObjectCreationExpressionSyntax'	2020-12-15 13:10:53 +01:00
Tom Hvitved	8c235323e7	Merge pull request #4796 from hvitved/csharp/cfg/simplify ... C#: Various simplifications to CFG logic	2020-12-15 13:07:13 +01:00
Tamás Vajk	e391356893	Merge pull request #4630 from tamasvajk/feature/csharp9-init-prop ... C#: Add support for init only accessors	2020-12-15 11:12:32 +01:00
Tamas Vajk	74c88e6bac	Add DB stats	2020-12-14 17:16:29 +01:00
Tom Hvitved	bb637f666c	C#: Introduce CfgScope class and generalize ControlFlowTree to include callables	2020-12-14 10:38:39 +01:00
Tom Hvitved	a92404a6cd	C#: Add LabeledStmtTree for goto CFG edges	2020-12-14 09:58:54 +01:00
Tom Hvitved	06d42dac3e	C#: Use set literals in Splitting.qll	2020-12-14 09:58:54 +01:00
Tom Hvitved	0b2233155c	C#: Simplify CFG logic for finally blocks	2020-12-14 09:58:53 +01:00
Tom Hvitved	249eea9d2b	Merge pull request #4780 from hvitved/csharp/cfg/nested-finally ... C#: Add missing CFG edges for nested `finally` blocks	2020-12-14 09:57:36 +01:00
Robert Marsh	96e913031d	C#: share IR Operand IPA type between stages	2020-12-11 16:11:00 -08:00
Tamas Vajk	4318941009	C#: Add support for init only accessors	2020-12-11 10:06:38 +01:00
Tamas Vajk	52a73cb21b	Add new stats containing 'cil_enum_underlying_type'	2020-12-08 16:40:29 +01:00
Tamás Vajk	6dd0234b68	Apply suggestions from code review ... Co-authored-by: Tom Hvitved <hvitved@github.com>	2020-12-08 16:40:29 +01:00
Tamas Vajk	44dfafc52c	C#: remove 'System.Enum' from enums in QL	2020-12-08 16:40:29 +01:00
Tamas Vajk	6b3010e3e6	C#: Extract enum underlying type from IL	2020-12-08 16:40:29 +01:00
Tom Hvitved	f8ad2ecc2c	Merge pull request #4777 from hvitved/csharp/default-to-string-join ... C#: Improve join-order in `DefaultToString.qll`	2020-12-08 08:53:58 +01:00
Tom Hvitved	3531dde032	C#: Simplify FinallySplit::toString()	2020-12-05 20:16:11 +01:00
Tom Hvitved	2f1057383e	C#: Add missing CFG edges for nested finally blocks	2020-12-05 20:12:11 +01:00
Tamas Vajk	aa3ae0f567	Remove calls to deprecated predicates	2020-12-04 13:28:14 +01:00
Tamas Vajk	24670160c2	Address code review findings	2020-12-04 13:26:53 +01:00
Tamas Vajk	cd5c1f06ee	C#: Add queries to check untrusted data flow to external APIs	2020-12-04 13:26:53 +01:00
Tom Hvitved	37f32f4014	C#: Improve join-order in DefaultToString.qll	2020-12-04 13:05:53 +01:00
Tom Hvitved	ecfa66e19a	C#: Use getParentNamespace instead of getParent	2020-12-02 10:39:29 +01:00
Tom Hvitved	9c516bf62c	C#: Fix join-order in UselessUpcast.ql	2020-12-02 10:12:57 +01:00
Tom Hvitved	9dbcb7c642	C#: Improve various join orders	2020-12-01 15:16:33 +01:00
Tom Hvitved	931e695ac7	C#: Fix bad join-order in UselessTypeTest.ql	2020-12-01 15:16:00 +01:00
Tamas Vajk	dffd95cb85	Add nomagic to fix performance	2020-12-01 15:16:00 +01:00
Tamas Vajk	cf76d31161	C#: Add nomagic pragmas to fix performance issues	2020-12-01 15:16:00 +01:00