12 Commits

Author	SHA1	Message	Date
chriseth	5470da4d9a	View-pure checker.	2017-09-06 13:50:49 +02:00
chriseth	da3ac86403	Warn about large storage structures.	2017-08-11 20:57:57 +02:00
Alex Beregszaszi	b3db1c361c	Warn if this is used in constructor	2017-07-19 06:47:36 -07:00
Rhett Aultman	89b60ffbd4	Refactor error reporting ... This commit introduces ErrorReporter, a utility class which consolidates all of the error logging functionality into a common set of functions. It also replaces all direct interactions with an ErrorList with calls to an ErrorReporter. This commit resolves issue #2209	2017-05-30 07:28:31 -07:00
Rhett Aultman	621c3fa22f	Analyze InlineAssembly for variable use ... The unused variable checker in StaticAnalyzer did not conssider InlineAssembly objects. This commit introduces that missing feature.	2017-05-21 15:23:05 -07:00
chriseth	230f51efb7	Cleanup, style and additional test.	2017-05-03 11:26:21 +02:00
chriseth	e0266b79f3	Refactor: Combine bool and function pointer.	2017-05-03 11:26:21 +02:00
Rhett Aultman	a6faa5acf3	Treat returns with expressions as return param use ... There are many cases of code where the return parameters exist mostly as a form of documentation. This change ensures that they do not have to be used in the function body so long as there is a return supplying values	2017-05-03 11:26:21 +02:00
Rhett Aultman	a40c8cfb68	Warn on unused local variables ... Analyze functions for all local variables, parameters, and named return variables which are never used in the function, and issue a warning.	2017-05-03 11:26:21 +02:00
chriseth	9bc9fe6af7	Warn about side-effect free statements.	2017-04-21 11:36:38 +02:00
chriseth	5c5d83fd70	Check for circular references in constant variables.	2017-03-06 15:05:09 +01:00
Federico Bond	05139500fb	Warn about using msg.value in non-payable function	2016-12-08 16:22:13 -03:00