aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis/ControlFlowAnalyzer.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Warn about unreachable code.Daniel Kirchner2019-01-101-0/+34
|
* Sort includes in libsolidity/analysisLeonardo Alt2018-12-171-0/+1
|
* Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵Daniel Kirchner2018-12-121-101/+83
| | | | storage accesses.
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-221-0/+2
| | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
* Ignore unimplemented functions for storage returns.Daniel Kirchner2018-11-131-2/+5
|
* Consider mappings return values in control flow analysis.Daniel Kirchner2018-08-131-1/+4
|
* Turn warning about uninitialized storage returns into an error.Daniel Kirchner2018-08-031-5/+5
|
* Add control flow analyzer and test for uninitialized storage returns.Daniel Kirchner2018-05-151-0/+156