39 Commits

Author	SHA1	Message	Date
Daniel Kirchner	ab7b1625ac	Tests for unassigned calldata returns.	2021-09-13 15:22:46 +02:00
chriseth	5b4a2f66e1	Directly restart processing calling functions.	2021-06-14 13:54:05 +02:00
Mathias Baumann	001a25db95	Fix crash in ControlFlowGraph related to free functions.	2021-06-09 11:10:33 +02:00
chriseth	2e3ee4c156	Fix control-flow handling of modifiers without body.	2021-06-03 13:31:15 +02:00
Mathias Baumann	56ebea8b2f	ControlFlowAnalyser: Also consider called functions in a flow	2021-06-01 15:54:37 +02:00
Alex Beregszaszi	1be07c2b36	Trivial isoltest updates: missing // ---- at the end	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	84c05d35f3	Trivial isoltest updates: normalized whitespace	2021-04-20 17:38:29 +02:00
Mathias Baumann	07a1d230cd	Fix missing error when accessing unintialized variables.	2021-01-25 14:44:15 +01:00
Mathias Baumann	32b4f18023	Print warning for unnamed return parameters and no return statement	2020-10-13 13:11:29 +02:00
chriseth	fc2e9ec2ff	Use .slot and .offest to access storage items.	2020-07-13 14:59:22 +02:00
a3d4	e04cedafc5	Added error codes to SyntaxTest expectations (updated tests)	2020-06-22 16:51:47 +02:00
Harikrishnan Mulackal	d8263d331e	Ignore warnings for yulOptimizer tests	2020-06-09 13:03:57 +02:00
Harikrishnan Mulackal	73e634924e	Warn on YUL switch statement with only default statement	2020-06-09 12:32:53 +02:00
chriseth	33450619b1	Checks for uninitialized access to calldata variables.	2020-05-26 10:51:13 +02:00
hrkrshnn	8e6567e399	New folder localStorageVariable for new testcases; added two new tests	2020-04-02 16:34:45 +05:30
hrkrshnn	aec0ae8ec1	Extended test-coverage for storage declaration	2020-04-02 15:45:04 +05:30
Daniel Kirchner	809e3503ba	Control flow analysis for inline assembly.	2020-03-09 16:23:10 +01:00
Daniel Kirchner	05baa23e8a	Require unimplemented functions to be virtual.	2019-12-02 21:59:00 +01:00
chriseth	5388c919f0	Some changes to "abstract".	2019-11-05 13:55:31 +01:00
chriseth	7c258873bd	Add some more abstract keywords in test to make sure the correct property is tested.	2019-11-04 17:26:38 +01:00
Alexander Arlt	cd3ad73b5a	Update tests.	2019-11-01 14:54:47 -05:00
Leonardo Alt	b40895c100	Fix try catch test	2019-09-26 18:27:09 +02:00
Leonardo	ca714a2d3d	Merge pull request #7485 from ethereum/develop ... Merge develop into develop_060	2019-09-26 15:43:12 +02:00
chriseth	ca21659749	Fix error message about accessing storage pointers.	2019-09-24 10:52:02 +02:00
chriseth	b5bc52f2a7	Control flow for try statements.	2019-09-23 17:22:56 +02:00
Mathias Baumann	efc8d79d53	Fix wrong location for inline asm blocks	2019-04-15 16:40:07 +02:00
Daniel Kirchner	0dfd4a726e	Warn about unreachable code.	2019-01-10 10:36:50 +01:00
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
Daniel Kirchner	b5e9d849ef	Ignore unimplemented functions for storage returns.	2018-11-13 12:18:22 +01:00
bakaoh	3d7b0d691f	Update test to correct source location for nameless parameters	2018-08-31 09:54:11 +07:00
Daniel Kirchner	4ae59acc09	Consider mappings return values in control flow analysis.	2018-08-13 16:33:37 +02:00
Daniel Kirchner	99d3e8e45a	Add back lost test case to a more reasonable location.	2018-08-08 12:48:59 +02:00
Daniel Kirchner	bb518b59aa	Update and extend tests for return expressions.	2018-08-07 20:49:52 +02:00
Daniel Kirchner	35c5b7de25	Turn warning about uninitialized storage returns into an error.	2018-08-02 19:34:38 +02:00
Alex Beregszaszi	21e97da294	Deprecate the throw statement	2018-07-16 15:33:20 +02:00
Chase McDermott	fc78b32847	Added default data locations to parameters for syntax tests.	2018-07-11 20:24:50 -05:00
Daniel Kirchner	1cbc037a45	Update control flow graph.	2018-05-16 18:32:48 +02:00
Daniel Kirchner	56238ab1ec	Add test for default location.	2018-05-14 20:23:40 +02:00
Daniel Kirchner	16e966dea0	Add control flow analyzer and test for uninitialized storage returns.	2018-05-14 20:23:40 +02:00