aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis/ControlFlowAnalyzer.h
Commit message (Collapse)AuthorAgeFilesLines
* Warn about unreachable code.Daniel Kirchner2019-01-101-0/+3
|
* Sort includes in libsolidity/analysisLeonardo Alt2018-12-171-1/+0
|
* Refactoring of the ControlFlowGraph and use for detecting all uninitialized ↵Daniel Kirchner2018-12-121-6/+2
| | | | storage accesses.
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-221-2/+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
* Removing redundant virtual from override function declarationmordax2018-11-211-1/+1
| | | | | | Remove trailing whitespace Remove changelog change
* Add control flow analyzer and test for uninitialized storage returns.Daniel Kirchner2018-05-151-0/+52