首页> 外文OA文献 >Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection

【2h】

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection

机译：静态引导的福尔克符号执行漏洞检测

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yue Wang; Hao Sun; Qingkai Zeng;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation [J] . Luo Lannan, Zeng Qiang, Cao Chen, IEEE transactions on mobile computing . 2020,第12期

机译：禁止辅助和上下文迁移的Android框架易受攻击和漏洞生成的象征性
2. Complexity vulnerability analysis using symbolic execution [J] . Luckow Kasper, Kersten Rody, Pasareanu Corina Software Testing, Verification and Reliability . 2020,第7a8期

机译：使用符号执行复杂性漏洞分析
3. Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities [J] . Andrea Avancini, Mariano Ceccato Information and software technology . 2013,第12期

机译：遗传算法和动态符号执行的比较和集成，用于跨站点脚本漏洞的安全性测试
4. Symbolic Execution vs. Search for Software Vulnerability Detection and Patching [C] . Abhik Roychoudhury International conference on security, privacy, and applied cryptography engineering . 2018

机译：符号执行与搜索软件漏洞检测与修补
5. Coupled Relational Symbolic Execution [D] . Farina, Gian Pietro . 2020

机译：耦合关系符号执行
6. A model-guided symbolic execution approach for network protocol implementations and vulnerability detection [O] . Shameng Wen, Qingkun Meng, Chao Feng, 2011

机译：用于网络协议实现和漏洞检测的模型指导的符号执行方法
7. A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [O] . Shameng Wen, Qingkun Meng, Chao Feng, 2017

机译：用于网络协议实现和漏洞检测的模型引导的符号执行方法。

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection

著录项

引文网络

相似文献

相关主题

期刊订阅