Portada del libro de 基于二进制代码的动态符号执行工具
Título del libro:

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

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

Books loader

Omni badge apto para el cupón
ISBN-13:

978-3-639-81920-5

ISBN-10:
3639819209
EAN:
9783639819205
Idioma del libro:
Notas y citas / Texto breve:
程序分析正在成为计算机安全领域一个重要的组成部分。它对于评估应用程序安全,乃至操作系统安全都有着特殊的意义。现有的程序分析方法很多,污染传播技术和符号执行技术是其中两种最热门且有效的方法。其中符号执行技术给出的分析结果更为精确有效,正成为国际上程序分析领域的研究热点。然而传统符号执行技术存在状态爆炸、公式流复杂难解、执行效率低下等问题。为了解决符号执行技术中存在的问题,本文提出了一个轻量级的基于二进制代码的动态符号执行工具LDSE。该工具使用动态执行模式,并采用具体执行和符号执行相结合技术,并辅以动态反向切片技术,有效地缓解了上述问题。实验表明,轻量级的动态符号执行工具LDSE在测试用例生成和程序路径覆盖两大应用上非常有效。动态反向切片技术更是在很大程度上缩减了问题集的规模,使得程序分析更快捷高效。
Editorial:
金琅学术出版社
Sitio web:
https://www.goldenlight-publishing.com
Por (autor):
康奇 倪
Número de páginas:
80
Publicado en:
2015-09-08
Stock:
Disponible
Categoría:
Aplicación de software
Precio:
35.90 €
Palabras clave:
二进制分析, 符号执行, 动态反向切片, 程序分析

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal PayPal CryptoWallet Transferencia Bancaria

  0 productos en el carrito
Editar carrito
Loading frontend
LOADING