Что такое Securify, или как потерять 30 секунд, но сэкономить 30 миллионов долларов

[fedorro]

Чтобы доказать отсутствие уязвимости нам нужно показать, что существует пользователь, который не может отправить транзакцию изменяющую поле owner.

По этому утверждению уязвимости нет, а она есть, могу ошибаться, не спец в контрактах:

function initWallet(address _owner) {
    if (msg.sender != owner) {
        owner = _owner;
    }
}