基于二进制代码的动态符号执行工具的封面
书籍主题:

基于二进制代码的动态符号执行工具

金琅学术出版社 (2015-09-08 )

Books loader

Omni badge 有获得代金券的资格
ISBN-13:

978-3-639-81920-5

ISBN-10:
3639819209
EAN:
9783639819205
书籍语言:
作品简介:
程序分析正在成为计算机安全领域一个重要的组成部分。它对于评估应用程序安全,乃至操作系统安全都有着特殊的意义。现有的程序分析方法很多,污染传播技术和符号执行技术是其中两种最热门且有效的方法。其中符号执行技术给出的分析结果更为精确有效,正成为国际上程序分析领域的研究热点。然而传统符号执行技术存在状态爆炸、公式流复杂难解、执行效率低下等问题。为了解决符号执行技术中存在的问题,本文提出了一个轻量级的基于二进制代码的动态符号执行工具LDSE。该工具使用动态执行模式,并采用具体执行和符号执行相结合技术,并辅以动态反向切片技术,有效地缓解了上述问题。实验表明,轻量级的动态符号执行工具LDSE在测试用例生成和程序路径覆盖两大应用上非常有效。动态反向切片技术更是在很大程度上缩减了问题集的规模,使得程序分析更快捷高效。
出版社 :
金琅学术出版社
网址:
https://www.goldenlight-publishing.com
由(作者):
康奇 倪
页码 :
80
发表日期:
2015-09-08
现货:
备有现货
类别:
应用软件
价格:
35.90 €
关键词:
二进制分析, 符号执行, 动态反向切片, 程序分析

Books loader

时事通讯

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal 银行转帐

LOGIN
  0产品在购物车内
编辑购物车
Loading frontend
LOADING