Diego Comencini

Continue/break statements and strings problems in CFG generation

3

I'm trying to generate the CFG of my solidity code. Unfortunately there are some problems with Continue/Break statements inside while loop and with strings handling. 1) Continue/Break statements point directly...

As you can see in this image:  After selecting the first country the borderWidth property disappears from the map and the border remains only around the first selected country.