β47Mar 8, 2024Updated 2 years ago
Alternatives and similar repositories for napalm
Users that are interested in napalm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- πAutomatically identify missing or incomplete natspecβ92Jun 30, 2025Updated last year
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.β38Nov 22, 2025Updated 10 months ago
- Security Reviews and Audit Checklistsβ145Sep 15, 2026Updated last week
- My publicly available audit and bug reportsβ17Mar 6, 2026Updated 6 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed propertiesβ115Aug 25, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- easy POC template generation from the command lineβ78Aug 30, 2024Updated 2 years ago
- Smart Contract Property-Based Testing Frameworkβ164Apr 24, 2026Updated 5 months ago
- Hunt for common bad practices in Solidity smart contracts !β124May 9, 2023Updated 3 years ago
- Improved Barebones Solidity smart contract fuzzerβ11Apr 12, 2023Updated 3 years ago
- Slither Detectors by Pessimistic.ioβ377Jun 25, 2024Updated 2 years ago
- β45Oct 16, 2024Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzingβ60Jan 18, 2026Updated 8 months ago
- Casual Glider guides and tipsβ33Jan 3, 2025Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.β25Feb 19, 2024Updated 2 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.
- Girl Friend <- Generate Foundry Fork Test from Attack Transactionβ130Aug 19, 2024Updated 2 years ago
- easy POC template generation from the command lineβ324Jan 10, 2024Updated 2 years ago
- π An open dataset containing smart contract audit issues from various sources.β243Mar 21, 2024Updated 2 years ago
- Foundry Test Suit to test weird ERC20 behaviorβ236Mar 23, 2023Updated 3 years ago
- Static smart contract code 4naly3erβ551Aug 14, 2024Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executedβ¦β113Sep 11, 2026Updated 2 weeks ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundryβ96Dec 2, 2025Updated 9 months ago
- β16Aug 15, 2024Updated 2 years ago
- Generate tests based on the Branching Tree Technique.β351Mar 14, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Static Analyzer for Starknet smart contractsβ147Jan 25, 2024Updated 2 years ago
- A Solidity code search tool with built-in static analysis detectionβ72Jul 20, 2024Updated 2 years ago
- Diffyscan detects deployment drift by comparing GitHub source with explorer-verified source and on-chain bytecode across EVM networks.β142Updated this week
- Collection of past CTFs to play and practice locally.β55Aug 7, 2026Updated last month
- A list of public fuzzing campaignsβ129Jan 24, 2026Updated 8 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.β19Dec 18, 2025Updated 9 months ago
- Evaluating fuzzer effectivenessβ20Sep 16, 2023Updated 3 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereumβ486Sep 9, 2026Updated 2 weeks ago
- β163Jul 30, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple contract to accurately measure gas consumption of contract callsβ19May 3, 2024Updated 2 years ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.β53Apr 1, 2026Updated 5 months ago
- β21Mar 31, 2022Updated 4 years ago
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contractsβ¦β1,620Updated this week
- β575Sep 16, 2026Updated last week
- Pre-built security properties for commonly forked DeFi protocolsβ196Nov 7, 2023Updated 2 years ago
- β104Nov 25, 2025Updated 9 months ago