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 | 
					
					
						
						
							
							
							
						
					 |