crytic/echidna

Issues

• [Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings

  #1231 opened 3 months ago by rappie
  6

• [Bug-Candidate]: Contract Size Exceeded when optimized contract is under 24KB

  #1182 opened 15 days ago by jptusern
  3

• Support `startPrank` and `stopPrank`

  #1229 opened 3 months ago by 0xicingdeath
  1

• Improve error message on MaxInitCodeSizeExceeded issue

  #1242 opened 20 days ago by montyly
  3

• [Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation

  #1266 opened a month ago by algobotishere
  2

• Improve error message if the function hashmap is not detected

  #1246 opened a month ago by montyly
  3

• Feature Request: Add setting to consider reverted tests as failed in assertion mode

  #1248 opened 2 months ago by rappie
  1

• Shrinking multicore

  #1249 opened 2 months ago by aviggiano
  3

• Have multiple workers to speed up fetching slots

  #1260 opened a month ago by viper7882
  3

• add call sequence mutation that removes all reverting txs in the sequences

  #1264 opened a month ago by 0xalpharush
  1

• [Bug-Candidate]: A simple contract took onchain fuzzer extremely long time to run due to zero calls per second

  #1261 opened a month ago by viper7882
  2

• warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target

  #1253 opened 2 months ago by 0xalpharush
  1

• [Bug-Candidate]: Contract is "unknown contract" but should be able to be identified

  #1259 opened a month ago by 0xalpharush
  2

• [Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation

  #1219 opened 3 months ago by rappie
  4

• [Bug-Candidate]: Maximize CPU output when running fuzzer

  #1207 opened 3 months ago by 0xicingdeath
  11

• [Bug-Candidate]: Inconsistent "thread blocked indefinitely in an mvar operation"

  #1209 opened 3 months ago by 0xicingdeath
  1

• Consider printing out hexadecimal representation of panics and the error msg for a specific panic

  #1210 opened 3 months ago by 0xicingdeath
  4

• Allow Configurable Verbosity

  #1254 opened a month ago by DanielGelfand
  1

• update number of workers to a decent default

  #1252 opened 2 months ago by 0xalpharush
  0

• Enable TUI on Windows

  #1198 opened 4 months ago by arcz
  2

• Improve UX around configuring Etherscan API key

  #1226 opened 2 months ago by devdacian
  4

• Feature Request: Option to disable Etherscan downloads with onchain fuzzing

  #1230 opened 3 months ago by rappie
  3

• Consider displaying assertion failure immediately once falsified in text mode

  #1205 opened 3 months ago by 0xicingdeath
  1

• Feature Request: Support for logging in view functions like Foundry's `console2`

  #1233 opened 3 months ago by rappie
  1

• [Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails

  #1239 opened 2 months ago by 0xicingdeath
  1

• [Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region

  #1247 opened 2 months ago by rappie
  4

• [Bug-Candidate]: no fore color support for terminal xterm-256color

  #1240 opened 2 months ago by aviggiano
  4

• [Bug-Candidate]: `Cannot decode byte '\xe4': Data.Text.Encoding: Invalid UTF-8 stream`

  #1241 opened 2 months ago by pcaversaccio
  9

• [Bug-Candidate]:

  #1236 opened 2 months ago by JacobYiu
  5

• [Bug-Candidate]: Minor log message tweak

  #1225 opened 3 months ago by rappie
  2

• [Bug-Candidate]: Echidna can get stuck while shrinking

  #1224 opened 3 months ago by rappie
  2

• Feature Request: Continuously save progress while shrinking

  #1223 opened 3 months ago by rappie
  1

• Opcode "mcopy" not implemented

  #1218 opened 3 months ago by 0xCheetah
  1

• [Bug-Candidate]: Fix coverage report

  #1213 opened 3 months ago by 0xicingdeath
  2

• Allow echidna to pin to specific system variables, and only show the value of those variables after each failed call sequence

  #1214 opened 3 months ago by 0xicingdeath
  0

• Increased documentation on config values and how they skew

  #1212 opened 3 months ago by 0xicingdeath
  0

• Provide more information on debugging `error Revert 0x`

  #1211 opened 3 months ago by 0xicingdeath
  0

• Show coverage on constructors

  #1208 opened 3 months ago by 0xicingdeath
  0

• [Bug-Candidate]: Unequal work spread across workers on corpus replay is bottlenecked by worker 0

  #1206 opened 3 months ago by 0xicingdeath
  0

• Add help popup in TUI

  #1199 opened 4 months ago by arcz
  0

• [Bug-Candidate]: Incorrect wiki entry

  #1191 opened 4 months ago by VeryMilkyJoe
  1

• Add `--rpc-url` and `--rpc-block` CLI commands

  #1193 opened 4 months ago by penandlim
  0

• ETHERSCAN_API_KEY should be captured as a requirement in README.md and made scalable to other blockchain

  #1188 opened 4 months ago by viper7882
  2

• [Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2

  #1185 opened 5 months ago by viper7882
  5

• Dump event log to a file in interactive mode

  #1183 opened 5 months ago by arcz
  0

• Allow copy/paste from the echidna UI output

  #1172 opened 5 months ago by 0xicingdeath
  1

• Show the reproducer filename

  #1179 opened 5 months ago by montyly
  0

• Echidna master adds an `--evm-version` tag to the end of crytic-compile

  #1176 opened 5 months ago by 0xicingdeath
  2

• looks like 2.2.2 release was not completed

  #1171 opened 5 months ago by chenrui333
  2

• estimateGas: generate gas info in the corpus

  #1170 opened 5 months ago by montyly
  1