In this post, we will see a bit of the new Echidna capabilities using the enhanced symbolic execution from hevm. In a nutshell, symbolic execution works in the same way as fuzzing, checking whether a program has specific issues, like assertion failures. However, unlike fuzzing, it either confirms the program works correctly by showing no paths lead to these issues, or it finds examples that prove such issues exist. An initial implementation of Echidna’s symbolic execution capabilities was added ...