XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar
We propose a simple and effective bug finder, XCheck, which is a proof of concept bug-finder based on the so-called "micro-grammar".The key advantage of XCheck is its extreme simplicity and surprising effectiveness. It only consists of a few hundred lines of code but is capable of checking many complicated software systems like Linux, LLVM, OpenJDK, which are written in various different languages (e.g., C, C++, Java).
READ FULL TEXT