The issue wasn't in the smart contract, it was a compromised dev machine. Something like this can happen to any cryptocurrency, we have seen such compromises causing issues on Bitcoin too.
Ethereim smart contracts have many issues, but this incident wasn't a case of smart contract vulnerability.
E...