AlphaUncommon
eth-sri/securify2
Securify v2.0
- Owner
- eth-sri (organization)
- Stars
- Stars: 635
- Forks
- Forks: 141
- Language
- Solidity
- License
- Apache-2.0
- Created
- 2020
- Topics
- ethereumsoliditystatic-analysisdatalogsecuritysmart-contractvulnerability
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by eth-sri
All 14 repos by eth-sri- eth-sri/lmqlStars: 4,221PythonRC
- eth-sri/debinStars: 454PythonAlpha
- eth-sri/eranStars: 347PythonAlpha
- eth-sri/matharenaStars: 294PythonAlpha
- eth-sri/securifyStars: 223JavaPrototype
- eth-sri/language-model-arithmeticStars: 223PythonPrototype
Nearby in Solidity
All Solidity repos- Cyfrin/foundry-devopsStars: 653SolidityAlpha
- 0xacme/ERC404Stars: 645SolidityAlpha
- PaulRBerg/foundry-templateStars: 642SolidityAlpha
- CodeforDAO/contractsStars: 627SolidityAlpha
- yam-finance/yam-protocolStars: 622SolidityAlpha
- 1inch/1inchProtocolStars: 618SolidityAlpha