A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools - View it on GitHub