aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis/StaticAnalyzer.h
Commit message (Collapse)AuthorAgeFilesLines
* Error on invalid arithmetic with constant expressions.Daniel Kirchner2018-04-121-0/+2
|
* Static Analyzer: Fix non-deterministic order of unused variable warnings.Daniel Kirchner2018-04-071-1/+3
|
* Update outdated commentsKwang Yul Seo2017-11-151-1/+1
| | | | _errors -> _errorReporter.
* View-pure checker.chriseth2017-09-061-2/+2
|
* Warn about large storage structures.chriseth2017-08-121-0/+3
|
* Warn if this is used in constructorAlex Beregszaszi2017-07-191-0/+6
|
* Refactor error reportingRhett Aultman2017-05-301-4/+2
| | | | | | | | | 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
* Analyze InlineAssembly for variable useRhett Aultman2017-05-221-0/+1
| | | | | The unused variable checker in StaticAnalyzer did not conssider InlineAssembly objects. This commit introduces that missing feature.
* Cleanup, style and additional test.chriseth2017-05-031-0/+1
|
* Refactor: Combine bool and function pointer.chriseth2017-05-031-2/+1
|
* Treat returns with expressions as return param useRhett Aultman2017-05-031-1/+2
| | | | | | | 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
* Warn on unused local variablesRhett Aultman2017-05-031-0/+6
| | | | | | Analyze functions for all local variables, parameters, and named return variables which are never used in the function, and issue a warning.
* Warn about side-effect free statements.chriseth2017-04-211-0/+2
|
* Check for circular references in constant variables.chriseth2017-03-061-0/+3
|
* Warn about using msg.value in non-payable functionFederico Bond2016-12-091-0/+72