Preview of eth-sri/securify2

eth-sri/securify2

Securify v2.0

★ 636 Stars

⑂ 141 Forks

○ 636 Watchers

✖ 36 Issues

Solidity

datalog ethereum security smart-contract solidity static-analysis vulnerability

Last push: 1y ago

Created:

↗ View on GitHub

Loading additional information…