目录 12.1。概观 12.2。使用基本块向量创建SimPoints 12.3。BBV命令行选项 12.4。基本块向量文件格式 12.5。履行 12.6。线程可执行支持 12.7。验证 12.8。性能 要使用此工具,必须--tool=exp-bbv在Valgrind命令行上指定 。 12.1。概观 基本块是具有一个入口点和一个出口点的代码的线性部