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

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

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

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-81920-5

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

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING