For Turing-complete languages we cannot reliably decide offline whether a program has the potential to execute an error; we have to just run it and see
Online Version des Buches
PaiMei is a reverse engineering framework consisting of multiple extensible components.
PaiMei Code Coverage Demo