search

ivicanikolicsg / MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
MIT License
556 stars 157 forks source link

Update for "Suicide" #32

Open enderphan94 opened 5 years ago

enderphan94 commented 5 years ago

I've read through the code of checking for "SUICIDE", I'm very doubtful that it won't work for any smart contract (solidity >= 0.5.0) due to an update of itself.

Prior to version 0.5.0, there was a function called suicide with the same semantics as selfdestruct. - Solidity Document

Which means, the "SUICIDE" low-level function had been changed to "SELF-DESTRUCT". Any update for this?

gsalzer commented 2 years ago

There is no need to modify Maian, because the code for the low-level instruction has remained the same. You just have to use the correct compiler version for the source code that you want to analyze.