0.3.1
- Allows for the CFG module to work on any EVM contract. [ #59, #53 ]
- Patches loop detection to be more thorough. [ #56 ]
- Introduces the
-c
or--color-edges
to the CFG module to colorize edges based on the JUMPI condition. This is useful for visualizing the flow of if statements. [ #59 ] - Minor memory optimizations. [ #59 ]