A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
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. ... CONCLUSION AND FUTURE WORK With micro-grammars, we implemented a powerful yet simple and portable checker, XCheck, that can find some possible bugs in real world examples such as Linux, LLVM, OpenJDK. ...arXiv:2112.08010v1 fatcat:faax6wmcrnhezifjm6buhhysgy