https://9dok.org/document/y4wxodj9-istv-ank-ad-ar-theoptimizationofasymbolicexecutionenginefordetectingruntimeerrors.html