A tool to generate synthetic tests for the Solidity platform
☆28Mar 25, 2024Updated 2 years ago
Alternatives and similar repositories for syntest-solidity
Users that are interested in syntest-solidity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆160Mar 18, 2026Updated 7 months ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- Permissionless pooling of NFT's into an ERC20.☆14Dec 22, 2022Updated 3 years ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated 2 years ago
- 快手鸿蒙 AI Coding Skills☆31May 21, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- Shield your initial Uniswap liquidity from malicious actors☆16Nov 10, 2021Updated 4 years ago
- Superform v2 contracts☆13Oct 22, 2026Updated last week
- documentation for Ethereum Foundry Forge/Cast☆13Jan 4, 2022Updated 4 years ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated last year
- Mutation Testing for Ethereum Smart Contracts☆209Nov 21, 2023Updated 2 years ago
- ☆11Mar 7, 2024Updated 2 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated 2 years ago
- The official repo for the FSE 2025 paper "Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing".☆13Jun 22, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- a safety verifier for Solidity smart contracts☆95Jan 17, 2023Updated 3 years ago
- ☆12Mar 24, 2023Updated 3 years ago
- ☆12Jul 19, 2025Updated last year
- ERC1155 extension for approvals and ERC20 conversions☆12Jan 23, 2024Updated 2 years ago
- Extension to ERC721 for capital efficient NFT loans without default/collateral risk☆27Nov 23, 2021Updated 4 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- A greybox fuzzer for continuous integration☆11Dec 15, 2023Updated 2 years ago
- AI based fuzzer based on imitation learning☆155Jun 17, 2024Updated 2 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆34Jan 19, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Jul 1, 2022Updated 4 years ago
- ☆14Aug 30, 2024Updated 2 years ago
- A simple javascript library to create a custom array of US States☆14Mar 13, 2022Updated 4 years ago
- Quickly hashing all subexpressions of a program modulo alpha-renaming☆18Sep 7, 2021Updated 5 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆17May 31, 2022Updated 4 years ago
- Common Oracle Specification and Adaptors☆14Sep 18, 2024Updated 2 years ago
- ☆37Mar 26, 2021Updated 5 years ago
- ☆29Dec 28, 2024Updated last year
- Benchmark collection for analysis. The idea is to have a collection of projects in several languages as well as various sast applications…☆12Jan 7, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Nov 3, 2020Updated 5 years ago
- Rule-based Dynamic Binary Translator☆13Sep 15, 2020Updated 6 years ago
- This repository comprises of everything you need to know about Solidity proxies, upgradeable smart contracts and their security.☆18Jun 3, 2024Updated 2 years ago
- ☆20Jun 9, 2023Updated 3 years ago
- Strict Clippy lint configs for AI-assisted Rust development☆14Jan 27, 2026Updated 9 months ago
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated last year
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆46Dec 15, 2021Updated 4 years ago