add Constantinople opcodes

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

217 stars 50 forks source link

add Constantinople opcodes #95

Closed hiqua closed 5 years ago

hiqua commented 5 years ago

Closes #94

ritzdorf commented 5 years ago

What about SAR?

ghost commented 5 years ago

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