1 Hit in 3.3 sec

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

Hanwen Zhu, Junyoung Jang, Xujie Si
2021 arXiv   pre-print
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