Large-scale analysis of non-termination bugs in real-world OSS projects