XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar

12/15/2021
by   Hanwen Zhu, et al.
0

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

Please sign up or login with your details

Forgot password? Click here to reset