Beyond Fuzzing: Symbolic Testing in Practice

Name: Beyond Fuzzing: Symbolic Testing in Practice
Duration: 20 min 26 s
Description: Daniel Reynaud, known as karmacoma, goes beyond fuzzing at Devconnect Istanbul 2023 to present symbolic testing in practice for smart contract security. The talk covers how symbolic execution can explore code paths that random fuzzing tends to miss, giving auditors another tool for catching subtle Solidity bugs.

Devconnect Istanbul 2023 · 16 Nov 2023 · 20:26

Daniel Reynaud, known as karmacoma, goes beyond fuzzing at Devconnect Istanbul 2023 to present symbolic testing in practice for smart contract security. The talk covers how symbolic execution can explore code paths that random fuzzing tends to miss, giving auditors another tool for catching subtle Solidity bugs.

Speakers

Daniel "karmacoma" Reynaud

Topics

Security
Testing & Fuzzing

From Devconnect Istanbul 2023, hosted by Ethereum Foundation.