Dev Tools. Compilers, languages, frameworks, libraries, security tooling.
251 items match, 63 of them low signal.
This marks a minor release of medusa. The primary improvement is that corpus replaying is now parallelized across fuzzer workers and will notify of any test failures immediately. This release also comes with a critical bug fix for HTML coverage reports.Medusa release notes
Features & improvements: Unified error messages in wake open [cli] · Implemented --import-json CLI option for wake compile [cli] · Increased solc JSON list fetching timeout [core] · Added support for parsing Solidity version specifiers with leading v [core] ·…Wake release notes
Added. When a staticcall is made to a contract that does not exist, we overapproximate · and return symbolic values More simplification rules for Props · JoinBytes simplification rule · New simplification rule to help deal with abi.encodeWithSelector · More si…hevm release notes
[6.0.0] - 2025-07-04. BREAKING CHANGE. Some rules were removed from the recommended ruleset and other were promoted. See below: Rules revision - #692 DEMOTED. payable-fallback: Outdated due to the introduction of receive(); rarely needed in modern Solidity.Solhint release notes
[5.1.0] - 2025-05-05. Added. Argument to avoid discord poster - #646 · Auto-fix for no-unused-import - #648 (Thanks to @DenisGorbachev) · New Rule: import-path-check - #657 · Updated.Solhint release notes
This marks a minor release of medusa. Version 1.1.1 fixes two critical bugs: an out-of-memory leak that occurs during corpus initialization and a race condition due to concurrent reads and writes on coverage maps. What's Changed.Medusa release notes
This marks a minor release of medusa. Version 1.1.0 introduces a few critical bug fixes and some minor feature additions. What's Changed.Medusa release notes
Everything here already leads the page above.