VeraBE / VeriManLinks
Analysis tool for Solidity smart contracts. Prototype.
☆36Updated last year
Alternatives and similar repositories for VeriMan
Users that are interested in VeriMan are comparing it to the libraries listed below
Sorting:
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Updated 7 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆134Updated 2 years ago
- Verified contracts synced from Etherscan☆63Updated 6 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆83Updated 2 years ago
- Semantics of Solidity in K☆30Updated 5 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Updated 2 years ago
- Symbolic virtual machine for Ethereum