Evidence-based dynamic analysis: a fast checker for memory errors. - View it on GitHub