This repository provides data for the paper "Precise Divide-By-Zero Detection with Affirmative Evidence".
File "empirical study on divide-by-zero.xlsx" shows the result of our empirical study of existing divide-by-zero bugs. Specifically, it lists the classification results of the bugs into Class Src, Class Bd, and Class Un, as discussed in the paper.
File "confiremd-bugs.md" provides links to the bug reports of the confirmed divide-by-zero bugs found by our tool.