Search Results for "test cases"

...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. 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. Curses-based retro UI, text-only or JSON output.

...Tiny (~104kb compressed; 322kb uncompressed). Modular packages; include only what you need. Complete functionality for all your Ethereum desires. Extensive documentation. Large collection of test cases which are maintained and added. Fully TypeScript ready, with definition files.

...We used minimal external dependencies and our API should look familiar to anyone with exploitation or reversing background. If you have never used such a tool before, give Manticore a try. Manticore comes with an easy-to-use command line tool that quickly generates new program “test cases” (or sample inputs) with symbolic execution. Each test case results in a unique outcome when running the program, like a normal process exit or crash (e.g., invalid program counter, invalid memory read/write).

O3 Wallet is java based Bitcoin Wallet software built on BitcoinJ. We are heavily focused on design and use cases. Note: We are not uploading new versions here. Follow our website for latest version!!