halmos
Contract tester
A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts
A symbolic testing tool for EVM smart contracts
835 stars
7 watching
71 forks
Language: Python
last commit: 3 months ago
Linked from 1 awesome list
crisgarner/awesome-foundryRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tokenika/eosfactory | Automates smart-contract testing and deployment on EOSIO blockchain | 243 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
| a16z/metamorphic-contract-detector | An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain | 160 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 apeworx/ape | A tool for building and interacting with smart contracts on the Ethereum network | 906 |
 veridise/medjai | A symbolic execution tool for verifying the correctness of smart contracts written in Cairo. | 49 |
| aniket-engg/sol-profiler | Tool to visualize and review Solidity smart contract methods properties | 30 |
| algorand/graviton | A toolkit for testing smart contracts written in TEAL programming language | 17 |
 openzeppelin/openzeppelin-test-helpers | Assists in testing Ethereum smart contracts | 415 |
 shanzson/smart-contract-auditor-tools-and-techniques | A comprehensive collection of tools and techniques for auditing and securing smart contracts on the Ethereum blockchain. | 642 |
 simular-fi/simular | A Python API that wraps around an embedded Ethereum Virtual Machine (EVM) for smart contract interaction and modeling | 10 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 jg8481/robot-framework-solidity-testing-toolkit | A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework for developing robust and secure smart contract applications on Ethereum and other EVM-compatible blockchains. | 11 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |