# Some notes of fuzz testing

---

cargo run --bin test_fuzz failing_test_cases/0224e759d8f1e129f6c30f8a086575b7af705bdd evm -- 'Integer overflow when casting to u64', /home/.cargo/registry/src/github.com-1ecc6299db9ec823/primitive-types-0.11.1/src/lib.rs:38:1
// bus-mapping codecopy 中 stack value（含义是 mem offset）强转 u64 panic。需要更好的 error handling。已知问题，更多见：https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/517

---

cargo run --bin test_fuzz failing_test_cases/00267e0268e1338d297a72240711c5aa92898a93 evm -- 'index out of bounds: the len is 9 but the index is 9', zkevm-circuits/src/evm_circuit/execution/begin_tx.rs:241:54
// 部署合约没实现,begin_tx 缺东西

---

cargo run --bin test_fuzz failing_test_cases/068e6c19806486ab3d2bbbe86c80efcc2b1dd53e evm -- 'called Result::unwrap() on an Err value: NotEnoughRowsAvailable { current_k: 12 }', zkevm-circuits/src/evm_circuit.rs:367:77
// fuzz test k 太小

---

cargo run --bin test_fuzz failing_test_cases/0feb9ad3349a8f079ba1c18ef431064ae40f3c36 state -- 'range end index 1470 out of range for slice of length 0', library/core/src/slice/index.rs:73:5
// create 时候 mem read 越界。算半个之前没记录的问题。

---

cargo run --bin test_fuzz failing_test_cases/005ef4f88b74061eb24edbd2929e27b7b781fe2d evm -- 'internal error: entered unreachable code', bus-mapping/src/circuit_input_builder/execution.rs:258:66
// 部署合约没实现，copy table dst 是 bytecode 直接 panic