Tooling for evaluating BTI soundness and precision on a dataset of binaries. - View it on GitHub