VeraBE / VeriMan
Analysis tool for Solidity smart contracts. Prototype.
☆36Updated 10 months ago
Related projects: ⓘ
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆40Updated 6 years ago
- Semantics of Solidity in K☆29Updated 4 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆29Updated last year
- Verified contracts synced from Etherscan☆62Updated 5 years ago
- A fast ethereum transaction fuzzer☆24Updated 5 years ago
- This is solc-verify, a modular verifier for Solidity.☆50Updated last year