Preview of eth-sri/securify2

eth-sri/securify2

Securify v2.0

★ 635 Stars

⑂ 140 Forks

○ 635 Watchers

✖ 36 Issues

Solidity

datalog ethereum security smart-contract solidity static-analysis vulnerability

Last push: 1y ago

Created:

↗ View on GitHub

Loading additional information…