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

12/15/2021

∙

by   Hanwen Zhu, et al.

∙

0

∙

share

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).