Analysis tool for Solidity smart contracts. Prototype.
☆35Nov 7, 2023Updated 2 years ago
Alternatives and similar repositories for VeriMan
Users that are interested in VeriMan are comparing it to the libraries listed below
Sorting:
- CLI client for the MythX API☆20Dec 30, 2022Updated 3 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Sep 9, 2020Updated 5 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆26Oct 28, 2018Updated 7 years ago
- 256 bit bloom filter implementation written in Solidity☆39Mar 30, 2019Updated 6 years ago
- Create vanity ethereum addresses like 0xda66666666c3a809ADA79D93114a3662073cC0 through brute force. Also has the ability to load a dictio…☆22Jan 30, 2023Updated 3 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Nov 1, 2019Updated 6 years ago
- A generic token-curated registry☆10Nov 28, 2018Updated 7 years ago
- Lightweight python module for getting ethereum and erc20 token balances☆11Feb 18, 2019Updated 7 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Mess up web3 with React☆13Dec 7, 2022Updated 3 years ago
- Signal Protocol implementation using secp256k1 keypairs for use with Ethereum☆13Apr 4, 2019Updated 6 years ago
- a frontend for interacting with theCyber contracts and managing memberships.☆10Jun 11, 2018Updated 7 years ago
- Official Go implementation of the Ethereum protocol☆25May 27, 2019Updated 6 years ago
- 🐍 Vyper language support in Atom☆11Mar 24, 2022Updated 3 years ago
- Interact with your Authereum contract-based account directly.☆11Mar 3, 2023Updated 3 years ago
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆257Dec 8, 2022Updated 3 years ago
- One consensus test generator☆11Dec 8, 2018Updated 7 years ago
- ☆12Dec 26, 2018Updated 7 years ago
- Smart Contract Security Guidelines☆13Mar 8, 2019Updated 6 years ago
- ☆17Feb 19, 2025Updated last year
- Uncatagorized Solidity examples and snippits☆12Jun 9, 2018Updated 7 years ago
- STUB☆17Dec 17, 2025Updated 2 months ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Apr 1, 2020Updated 5 years ago
- EVM Bytecode Super Optimizer☆36Jan 3, 2021Updated 5 years ago
- Python types for type hinting commonly used ethereum types☆36Dec 15, 2025Updated 2 months ago
- This is solc-verify, a modular verifier for Solidity.☆53Sep 5, 2023Updated 2 years ago
- ☆29Jun 24, 2024Updated last year
- Easier calculation and formatting of Ethereum values☆16Dec 11, 2022Updated 3 years ago
- The ultimate environment for Solidity development. A fully integrated project with all the tools you could need right at your disposal. …☆13Jan 4, 2023Updated 3 years ago
- Writings on symbolic-execution-based security analysis of EVM smart contracts.☆177Aug 12, 2019Updated 6 years ago
- Solidity upgradeable contracts proxy based on unstructured storage pattern☆15Nov 20, 2024Updated last year
- A simple library for performing conversion between various Ethereum units☆18Jan 27, 2026Updated last month
- Implementation of the tarantula fault localisation algorithm☆13May 10, 2021Updated 4 years ago
- ☆19Jun 25, 2019Updated 6 years ago
- An unofficial python wrapper for the Etherscan API☆17Dec 7, 2022Updated 3 years ago