PrototypeCommon
leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
- Owner
- leonardoalt (personal account)
- Stars
- Stars: 112
- Forks
- Forks: 6
- Language
- Solidity
- License
- GPL-3.0
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leonardoalt
All 4 repos by leonardoalt- leonardoalt/ethereum_formal_verification_overviewStars: 378Alpha
- leonardoalt/yoolsStars: 140SMTPrototype
- leonardoalt/fusionStars: 118RustPrototype
Nearby in Solidity
All Solidity repos- pcaversaccio/malleable-signaturesStars: 112SolidityPrototype
- moonwell-fi/moonwell-contracts-v2Stars: 112SolidityPrototype
- marksantiago290/ERC20-Token-Presale-Smart-ContractStars: 112SolidityPrototype
- MrChico/verifyIPFSStars: 112SolidityPrototype