# eth-sri/securify2

<https://repo.masters-masters.com/en/repos/eth-sri/securify2>

[Home](https://repo.masters-masters.com/en) › [eth-sri](https://repo.masters-masters.com/en/owners/eth-sri) › [securify2](https://repo.masters-masters.com/en/repos/eth-sri/securify2)

eth-sri/securify2 has 635 stars on GitHub. Its RepoMasters card: Alpha tier. Securify v2.0 Language: Solidity.

| Field | Value |
| --- | --- |
| Owner | [eth-sri](https://repo.masters-masters.com/en/owners/eth-sri) |
| Stars | 635 |
| Forks | 141 |
| Language | [Solidity](https://repo.masters-masters.com/en/languages/solidity) |
| License | Apache-2.0 |
| Created | 2020 |
| Topics | ethereum, solidity, static-analysis, datalog, security, smart-contract, vulnerability |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [eth-sri/securify2](https://github.com/eth-sri/securify2) |

## Repository

Securify v2.0

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by eth-sri

- [eth-sri/lmql · ★ 4,222 · Python · RC](https://repo.masters-masters.com/en/repos/eth-sri/lmql)
- [eth-sri/debin · ★ 454 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/debin)
- [eth-sri/eran · ★ 347 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/eran)
- [eth-sri/matharena · ★ 294 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/matharena)
- [eth-sri/securify · ★ 223 · Java · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/securify)
- [eth-sri/language-model-arithmetic · ★ 223 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/language-model-arithmetic)

## Nearby in Solidity

- [Cyfrin/foundry-devops · ★ 653 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/Cyfrin/foundry-devops)
- [0xacme/ERC404 · ★ 645 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/0xacme/ERC404)
- [PaulRBerg/foundry-template · ★ 642 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/PaulRBerg/foundry-template)
- [CodeforDAO/contracts · ★ 627 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/CodeforDAO/contracts)
- [yam-finance/yam-protocol · ★ 622 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/yam-finance/yam-protocol)
- [1inch/1inchProtocol · ★ 618 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/1inch/1inchProtocol)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.