Minor

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]
 

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)