xiwenjun
xiwenjun
I agree that only checking basicblocks[0] is not enough. I have an example of DAI smart contract 0x6B175474E89094C44Da98b954EedeAC495271d0F. By checking the function signatures in basicblocks[0] will disqualify DAI as an...
The easiest way to correct this is: change init_block = basic_blocks[0] instructions = init_block.instructions to instructions = [inst for block in basic_blocks for inst in block.instructions] In addition the whole...
any updates on this issue?