Search results

[Bug-Candidate]: Sender with zero balance can call the fuzzing harness with msg.value being non-zero

Status: Open.

#1556 In crytic/echidna;

· rappie opened on Apr 7, 2026

Feature Request: Cache fetched source code during on-chain fuzzing for reuse in subsequent runs

enhancement

Status: Open.

#1555 In crytic/echidna;

· rappie opened on Apr 6, 2026

Support properties and invariants without arguments in symbolic mode

enhancement

Status: Open.

Feature

#1537 In crytic/echidna;

· gustavo-grieco opened on Mar 14, 2026

Improve work distribution among workers

enhancement

Status: Open.

#1518 In crytic/echidna;

· elopez opened on Jan 23, 2026

[Bug-Candidate]: Echidna OOMs in optimization mode + sym-exec

Status: Open.

#1510 In crytic/echidna;

· aviggiano opened on Jan 4, 2026

[Bug-Candidate]: Echidna fails to shrink call (revert) + vm.roll + vm.warp into only vm.roll + vm.warp

Status: Open.

#1505 In crytic/echidna;

· aviggiano opened on Dec 21, 2025

Separate stateless verification mode from other modes and use a dedicated "testing mode" for it

Status: Open.

#1497 In crytic/echidna;

· gustavo-grieco opened on Dec 16, 2025

Rewrite campaign handling to allow more flexible worker interactions

enhancement

Status: Open.

#1490 In crytic/echidna;

· gustavo-grieco opened on Dec 2, 2025

race condition for writing to crytic-export/combined_solc.json

Status: Open.

#1471 In crytic/echidna;

· monperrus opened on Oct 10, 2025

bugs in foundry test generation

Status: Open.

#1465 In crytic/echidna;

· monperrus opened on Oct 2, 2025

Update JSON output documentation

documentation

enhancement

Status: Open.

#1463 In crytic/echidna;

· elopez opened on Sep 30, 2025

Hook to run functions after invariant test run

enhancement

Status: Open.

#1434 In crytic/echidna;

· sveitser opened on Aug 28, 2025