From 5fd3821a0ed48a2e7d7a2062d4feb5690473f5d4 Mon Sep 17 00:00:00 2001 From: Josselin Date: Wed, 8 May 2019 07:59:50 +0100 Subject: [PATCH] Minor --- slither/analyses/write/are_variables_written.py | 2 ++ slither/slither.py | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/slither/analyses/write/are_variables_written.py b/slither/analyses/write/are_variables_written.py index d644e3ac2..bc667394c 100644 --- a/slither/analyses/write/are_variables_written.py +++ b/slither/analyses/write/are_variables_written.py @@ -33,6 +33,8 @@ def _visit(node, visited, variables_written, variables_to_write): variables_written = variables_written + [ir.lvalue] lvalue = ir.lvalue while isinstance(lvalue, ReferenceVariable): + if lvalue not in refs: + break variables_written = variables_written + [refs[lvalue]] lvalue = refs[lvalue] diff --git a/slither/slither.py b/slither/slither.py index ccd76ec7c..7b025952b 100644 --- a/slither/slither.py +++ b/slither/slither.py @@ -44,7 +44,6 @@ class Slither(SlitherSolc): embark_overwrite_config (bool): overwrite original config file (default false) ''' - # list of files provided (see --splitted option) if isinstance(contract, list): self._init_from_list(contract)