A tool for efficient binary-level coverage analysis - View it on GitHub