trailofbits
Auxiliary tool for coverage measurement
Coverage is a good secondary metric besides actual bugs/crashes discovered, as it can provide insight on which uncovered parts of source our analysis tools may need to be used on. We should be able to interface this for DeepState by adding a tool called deepstate-cov that collects branch-based and line-based coverage measurement. It should either rely on or be similar to gcov and gcovr, where we can generate coverage data (either at compilation, like with Gcov/GCC's -fprofile-args and -ftest-coverage), and then provide human-readable reports, either through outputted through CLI, or generated structured / HTML files.
We should integrate with #254 here; also, gcov, or the llvm coverage toolchain? Or, really, both?
