use timeout from Java instead of binary

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

216 stars 50 forks source link

use timeout from Java instead of binary #78

Closed hiqua closed 5 years ago

hiqua commented 5 years ago

This seems to fix #15, for some reason.

I'm currently making other changes to avoid using binaries (e.g., rm), so no need to review this now.

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.

hiqua commented 5 years ago

@ritzdorf should be good now, I was looking for some other minor changes to add to this, but I think that's it before next year. If you find out why this seems to fix #15 / find a case where it doesn't, I'm interested.

hiqua commented 5 years ago

Superseded by #81.