KLEE--一些工具介绍（klee-stats）

klee-stats
klee-stats是一个Python脚本，用于从KLEE执行过程运行中形成的文件run.stats中抽取一些统计信息，并且用表格来表示。运行中的统计信息包括：
1.1 执行的指令数：The number of executed instructions
  1.2 LLVM位代码上指令的覆盖率：Instruction coverage in the LLVM bitcode (%)
1.3 LLVM位代码上分支的覆盖率：Branch coverage in the LLVM bitcode (%)
1.4 LLVM位代码上的总的静态指令数：Total static instructions in the LLVM bitcode
1.5 当前活动状态数：The number of currently active states
1.6 使用的内存情况：Megabytes of memory currently used
  1.7 提交给SMT Solver的查询数量：The number of queries issued to the SMT solver
  1.8 The average number of query constructs per query
1.9~1.14是一些时间花费情况：
1.9 Various time statistics:Total user time
1.10 Total wall time
1.11 Time spent in the constraint solver
1.12 Time spent in the counterexample caching code
1.13 Time spent forking
1.14 Time spent in object resolution

klee-stats的应用格式：klee-stats [options] directories
参数directories对应着klee-out-*目录，如果是最近一次的运行结果，则可以用klee-last链接。
为了从values of measured times设定要打印的信息，可以通过下面的一些参数进行设置：
--print-rel-times 显示有关measured execution time的信息
--print-abs-times 显示绝对的实际值

--precision 用于设置精度，缺省情况下保留两位小数。
其它更详细的可以参考命令的帮助，格式如下：
$ klee-stats --help

KLEE--一些工具介绍（klee-stats）相关推荐

ipvsadm工具介绍
一. ipvsadm工具介绍从2.4版本开始,linux内核默认支持LVS.要使用LVS的能力,只需安装一个LVS的管理工具:ipvsadm. LVS的结构主要分为两部分: 工作在内核空间的IPVS ...
软件包管理之软件在线升级更新yum 图形工具介绍
作者:北南南北来自:LinuxSir.Org 提要:yum 是Fedora/Redhat 软件包管理工具,包括文本命令行模式和图形模式:图形模式的yum也是基于文本模式的:目前yum图形前端程序主要 ...
IDEA IntelliJ 开发工具介绍
IntelliJ IDEA 开发Java的IDE 官网:https://www.jetbrains.com/ 下面是该工具介绍,有兴趣的可以看下,基本一堆废话: 集成开发环境(IDE,Integrat ...
postman 接口测试工具介绍
postman 接口测试工具介绍 https://www.cnblogs.com/fly_dragon/p/9186745.html
Java代码缺陷自动分析工具介绍
Java代码缺陷自动分析工具介绍 ...
77.Linux系统日志，screen工具介绍
Linux系统日志日志重要吗?必须的,没有日志我们怎么知道系统状况?没有日志如何排查一个trouble?日志记录了系统每天发生的各种各样的事情,你可以通过他来检查错误发生的原因,或者受到***时** ...
Exchange Server 2003多服务器安装以及管理工具介绍
Exchange服务器系列课程之二--Exchange Server 2003多服务器安装以及管理工具介绍 http://www.z8soft.com/article/server| 2011年4月1 ...
soapui工具_python接口自动化（四）--接口测试工具介绍（详解）
简介 "工欲善其事必先利其器",通过前边几篇文章的介绍,大家大致对接口有了进一步的认识.那么接下来让我们看看接口测试的工具有哪些. 目前,市场上有很多支持接口测试的工具.利用工具进 ...
Java新手看招常用开发工具介绍
Java新手看招常用开发工具介绍 Java的应用越来越广泛,学习Java的人也越来越多.学过程序设计的人知道,使用Basic进行程序设计,可以使用QBasic.Visual Basic等开发工具:使 ...
arcgis python工具-使用python制作ArcGIS插件（1）工具介绍
使用python制作ArcGIS插件(1)工具介绍 by 李远祥 ArcGIS从10.0开始支持addin(ArcGIS软件中又叫作加载项)的方式进行插件制作.相对于以往9.x系列,addin的无论是 ...

KLEE--一些工具介绍（klee-stats）

KLEE--一些工具介绍（klee-stats）相关推荐

最新文章

热门文章