add square brackets to make it clear that the number is an array index of observations

pull/1288/head
noxx 2 years ago committed by noxx
parent e178b37fc9
commit d8455e3213
  1. 3
      .gitignore
  2. 2
      slither/tools/read_storage/read_storage.py

3
.gitignore vendored

@ -107,3 +107,6 @@ ENV/
# Test results
test_artifacts/
# crytic export
crytic-export/

@ -325,7 +325,7 @@ class SlitherReadStorage:
struct_var = info["elems"][item][key].get('struct_var')
# doesn't handle deep keys currently
var_name_struct_or_array_var = "{} -> {} -> {}".format(var, item, struct_var)
var_name_struct_or_array_var = "{}[{}] -> {}".format(var, item, struct_var)
if environ.get("TABLE_VALUE") is None:
tabulate_data.append([slot, offset, size, type_string, var_name_struct_or_array_var])

Loading…
Cancel
Save