aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis/StaticAnalyzer.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Warn about callcode.chriseth2017-06-301-0/+8
|
* Refactor error reportingRhett Aultman2017-05-301-15/+12
| | | | | | | | | 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
* Drop the inline asm includes from StaticAnalyzerRhett Aultman2017-05-231-3/+0
|
* Analyze InlineAssembly for variable useRhett Aultman2017-05-221-2/+23
| | | | | 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-11/+6
|
* Refactor: Combine bool and function pointer.chriseth2017-05-031-8/+7
|
* Treat returns with expressions as return param useRhett Aultman2017-05-031-0/+12
| | | | | | | 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/+39
| | | | | | Analyze functions for all local variables, parameters, and named return variables which are never used in the function, and issue a warning.
* Change error message.chriseth2017-04-211-1/+1
|
* Warn about side-effect free statements.chriseth2017-04-211-0/+7
|
* Warn about using msg.value in non-payable functionFederico Bond2016-12-091-0/+78