search

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Apache License 2.0
216 stars 50 forks source link

LockedEther is buggy #66

Closed hiqua closed 5 years ago

hiqua commented 5 years ago

This triggers the pattern:

contract MarketPlace {

    function transfer() {
        uint x = msg.value;
    }
}
hiqua commented 5 years ago

This pattern is missing logic with the Return opcode, as well as with Selfdestruct.

hiqua commented 5 years ago

Seems fine with #91.