[Static analysis] Interaction with different addresses inside the loop handled

[Aniket-Engg]

fixes #854

This can be further improved with discussion.

[Aniket-Engg]

I am tracking ether transfer in for, while and do-while loop.

[Aniket-Engg]

tests have been added

[yann300]

sounds like this can be merged,
would it just be possible to run tests without copy/pasting the entire block of ASTs ?

[Aniket-Engg]

@yann300 can you please comment on the code to refer it?

[yann300]

sure https://github.com/ethereum/remix/pull/1242/files#diff-b153112f5b31ff906e23bd147eb154e6R1124

[Aniket-Engg]

sounds like this can be merged,
would it just be possible to run tests without copy/pasting the entire block of ASTs ?

Without AST, I don't think it is possible. For better view, I can put the loop ASTs in different file or we can do it for all AST blocks in the tests file in another go. What you suggest @yann300

[yann300]

Perhaps to compile the code and get the ast... yeah but we might not want having another dependency only for testing. ok putting it in a different file would be fine.

[Aniket-Engg]

Perhaps to compile the code and get the ast... yeah but we might not want having another dependency only for testing. ok putting it in a different file would be fine.

I am thinking to do that in next PR along with putting all the AST blocks in separate file for future use too.

[yann300]

ok sure