mark the end of block also with STOP (v2)

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

216 stars 50 forks source link

mark the end of block also with STOP (v2) #68

Closed hiqua closed 5 years ago

hiqua commented 5 years ago

Supersedes #52

~Current status is that although it seems to solve the problem with toy contracts, there are new (different) failures with real-world contracts, so we should investigate further before merging these fixes. The diff is in e319c1a78fbfc11c05faf67b2103dcf287bfc77c.~

Should be ok now.

Depends on #70.

ghost commented 5 years ago

DeepCode analyzed this pull request. There are no new issues.

ghost commented 5 years ago

DeepCode encountered a problem when analyzing this pull request. If you want to retry, create a comment: "Retry Deepcode".

ghost commented 5 years ago

DeepCode analyzed this pull request. There are no new issues.1 info report was fixed.

Click to see more details.