search

eth-sri / securify

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

Decompiler jumpi Stack Merge Bug #42

Closed ritzdorf closed 5 years ago

ritzdorf commented 5 years ago

Fixes failing decompilation on the following example: https://gist.github.com/ritzdorf/7aaa2f59a3be273d1aab9ee4d929219b

Problem was:

Fix:

ghost commented 5 years ago

DeepCode analyzed this pull request. There is 1 new info report.

Click to see more details.