Best Fuzz Testing Tools for Haskell
View:
Compare the Top Fuzz Testing Tools that integrate with Haskell as of July 2025
Sort By:
This a list of Fuzz Testing tools that integrate with Haskell. Use the filters on the left to add additional filters for products that have integrations with Haskell. View the products that work with Haskell in the table below.
What are Fuzz Testing Tools for Haskell?
Fuzz testing tools are automated software tools used to detect bugs and vulnerabilities in computer systems. They generate large amounts of random input data to test the robustness of a system. These tools are commonly used in software development to enhance the quality and security of a product. Fuzz testing tools can be applied to various types of systems, including web applications, mobile apps, and operating systems. They have become an essential part of the testing process in modern software development due to their ability to uncover hidden flaws that traditional testing methods may miss. Compare and read user reviews of the best Fuzz Testing tools for Haskell currently available using the table below. This list is updated regularly.
-
1
ImmuneBytes
ImmuneBytes
Fortify your blockchains with our impeccable audit services for unparalleled security in the decentralized realm. If you're spending sleepless nights worrying about losing funds to hackers, choose from our stack of services, and bid farewell to all your fears. In-depth analysis of the code by industry veterans to detect the vulnerabilities in your smart contract. Our experts secure your blockchain applications by mitigating risks through security design, assessment, audit, and compliance services. Our independent team of prolific penetration testers performs an extensive exercise to detect vulnerabilities and system exploits. We are the torch-bearers of making the space safer for everyone and do it by helping with a complete, systematic analysis to enhance the product's overall security. Recovery of funds is as equally important as a security audit. Have the facility to track user funds with our transaction risk monitoring system and boost users' confidence.Starting Price: Free -
2
Echidna
Crytic
Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Generates inputs tailored to your actual code. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. Source code integration to identify which lines are covered after the fuzzing campaign. Interactive terminal UI, text-only or JSON output. Automatic test case minimization for quick triage. Seamless integration into the development workflow. Maximum gas usage reporting of the fuzzing campaign. Support for a complex contract initialization with Etheno and Truffle.Starting Price: Free
- Previous
- You're on page 1
- Next