Skip to content
Browse files

Improve type propagation for variable acceded through base contract name

  • Loading branch information...
montyly committed May 13, 2019
1 parent 2c1063b commit 6834d4c78767d21efea51e557125066629bc3d23
Showing with 6 additions and 0 deletions.
  1. +6 −0 slither/slithir/
@@ -426,6 +426,12 @@ def propagate_types(ir, node):
f = next((f for f in type_t.functions if == ir.variable_right), None)
if f:
# Allow propgation for variable access through contract's nale
# like Base_contract.my_variable
v = next((v for v in type_t.state_variables if == ir.variable_right), None)
if v:
elif isinstance(ir, NewArray):
elif isinstance(ir, NewContract):

0 comments on commit 6834d4c

Please sign in to comment.
You can’t perform that action at this time.