Update for "Suicide"

[enderphan94]

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]

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.