search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Investigate Clang CoverageSanitizer #177

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

In particular, how can the basic-block coverage be leveraged?

moralismercatus commented 8 years ago

Remember that while this may be useful as a starting place for BB coverage, the fact that CoverageSanitizer requires compile-time instrumentation, makes it of little deployable use.

For research purposes, I believe it can be useful - or at least the idea. For example, say we have two trace selection strategies we're testing, and we want to compare their rates of coverage dynamically. This may be a way to calculate that.