You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
Continue/Break statements point directly to next instruction and not to Start/End point of while.
Strings generate syntax error in .dot rapresentation (the double quote is not escaped)
These are known problems?
The text was updated successfully, but these errors were encountered:
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.
These are known problems?
The text was updated successfully, but these errors were encountered: