From 788612d2efef33aad711646a1ace9dfee6237730 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Fri, 7 Dec 2018 18:20:35 +0100 Subject: Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. --- libsolidity/analysis/ControlFlowAnalyzer.h | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'libsolidity/analysis/ControlFlowAnalyzer.h') diff --git a/libsolidity/analysis/ControlFlowAnalyzer.h b/libsolidity/analysis/ControlFlowAnalyzer.h index 411d57ff..859d826a 100644 --- a/libsolidity/analysis/ControlFlowAnalyzer.h +++ b/libsolidity/analysis/ControlFlowAnalyzer.h @@ -37,12 +37,8 @@ public: bool visit(FunctionDefinition const& _function) override; private: - static std::set variablesAssignedInNode(CFGNode const *node); - void checkUnassignedStorageReturnValues( - FunctionDefinition const& _function, - CFGNode const* _functionEntry, - CFGNode const* _functionExit - ) const; + /// Checks for uninitialized variable accesses in the control flow between @param _entry and @param _exit. + void checkUninitializedAccess(CFGNode const* _entry, CFGNode const* _exit) const; CFG const& m_cfg; langutil::ErrorReporter& m_errorReporter; -- cgit v1.2.3 From 36d8a98664d1159c8c2aeb752cd5281773c82618 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Mon, 17 Dec 2018 12:30:08 +0100 Subject: Sort includes in libsolidity/analysis --- libsolidity/analysis/ControlFlowAnalyzer.h | 1 - 1 file changed, 1 deletion(-) (limited to 'libsolidity/analysis/ControlFlowAnalyzer.h') diff --git a/libsolidity/analysis/ControlFlowAnalyzer.h b/libsolidity/analysis/ControlFlowAnalyzer.h index 859d826a..7761817a 100644 --- a/libsolidity/analysis/ControlFlowAnalyzer.h +++ b/libsolidity/analysis/ControlFlowAnalyzer.h @@ -18,7 +18,6 @@ #pragma once #include - #include namespace dev -- cgit v1.2.3