Python wrapper outside docker

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

215 stars 50 forks source link

Closed hiqua closed 5 years ago

hiqua commented 5 years ago

@jakobbeckmann if you can just try it out and tell me if everything works for you!

ghost commented 5 years ago

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

hiqua commented 5 years ago

I think this is a rare-enough case to allow it to crash completely, so that it's clear that some analysis could not be done.