No violation reported for the test case "UnrestrictedEtherFlow.sol"

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

217 stars 50 forks source link

No violation reported for the test case "UnrestrictedEtherFlow.sol" #102

Open fang19911030 opened 5 years ago

fang19911030 commented 5 years ago

I pulled the code at 4/25/2019.

I ran the command: java -jar build/libs/securify.jar -fs /home/xx/UnrestrictedEtherFlow.sol The file is the same as the test cast. I only see two warnings. I don't think this result is correct. Hope this info is helpful.