The replication kit of DOG

Title: Uncovering bugs in code coverage profilers via control flow constraint solving

The latest replication kit package: Zenodo

Testsuite. It contains five tests uite can be directly fed to DOG. ManuanalTests and RandomTests are two testsuites for uncovering new bugs. Gcov-bugs-old and llvm-cov-bugs-old are two testsuites containing trigger programs of those bugs revealed in old versions by existing methods. CsmithLarge is 100 random programs with over 1000 lines, which is to demonstrate the scalability of our method.
Script It currently contains DOG.py, i.e.,the DOG prototype.
Result It contains the results of using DOG.py to test Gcov and llvm-cov with the five input sets in Testsuite.

python3 DOG.py --compiler=[compiler] --testsuite=[test inputs] --output=[output dir]

In above command,

[compiler] indicates the subject under test. DOG currently supports only gcov and llvm-cov.
[test inputs] indicates the absolute path of a test input set.
[output inputs] indicates the absolute path of a test output. It defaults to [test inputs]/input