Borítókép a 基于二进制代码的动态符号执行工具 - hoz
Könyv címe:

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

金琅学术出版社 (08.09.2015 )

Books loader

Omni badge Érvényes utalvány
ISBN-13:

978-3-639-81920-5

ISBN-10:
3639819209
EAN:
9783639819205
Könyv nyelve:
Ismertető:
程序分析正在成为计算机安全领域一个重要的组成部分。它对于评估应用程序安全,乃至操作系统安全都有着特殊的意义。现有的程序分析方法很多,污染传播技术和符号执行技术是其中两种最热门且有效的方法。其中符号执行技术给出的分析结果更为精确有效,正成为国际上程序分析领域的研究热点。然而传统符号执行技术存在状态爆炸、公式流复杂难解、执行效率低下等问题。为了解决符号执行技术中存在的问题,本文提出了一个轻量级的基于二进制代码的动态符号执行工具LDSE。该工具使用动态执行模式,并采用具体执行和符号执行相结合技术,并辅以动态反向切片技术,有效地缓解了上述问题。实验表明,轻量级的动态符号执行工具LDSE在测试用例生成和程序路径覆盖两大应用上非常有效。动态反向切片技术更是在很大程度上缩减了问题集的规模,使得程序分析更快捷高效。
Kiadó:
金琅学术出版社
Weboldal:
https://www.goldenlight-publishing.com
Szerezte:
康奇 倪
Oldalszám:
80
Kiadja:
08.09.2015
Raktárkészlet:
Raktáron
Kategória:
Applikációs szoftverek
Ár:
35,90 €
Kulcsszavak:
二进制分析, 符号执行, 动态反向切片, 程序分析

Books loader

Hírlevél

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Banki átutalás

  0 termékek a bevásárlókosárban
Kosár szerkesztése
Loading frontend
LOADING