sec-bit / adelaideLinks
The SECBIT Static Analysis Extension to Solidity Compiler
☆19Updated 6 years ago
Alternatives and similar repositories for adelaide
Users that are interested in adelaide are comparing it to the libraries listed below
Sorting:
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.