首页> 外文OA文献 >Symbolic Execution of Obfuscated Code

【2h】

Symbolic Execution of Obfuscated Code

机译：象征性地执行混淆代码

代理获取

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

页面导航

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

著录项

作者
Babak Yadegari; Saumya Debray;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Dynamic Obfuscation Algorithm based on Demand-Driven Symbolic Execution [J] . Yang Yubo, Yang Yixian, Fan Wenqing, Journal of Multimedia . 2014,第6期

机译：基于需求驱动的符号执行的动态混淆算法
2. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis [J] . Corina S. Pasareanu, Willem Visser, David Bushnell, Automated software engineering . 2013,第3期

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
3. Machine learning steered symbolic execution framework for complex software code [J] . Bu Lei, Liang Yongjuan, Xie Zhunyi, Formal Aspects of Computing . 2021,第3期

机译：机器学习转向符号执行框架复杂软件代码
4. Deobfuscation of Virtualization- Obfuscated Code Through Symbolic Execution and Compilation Optimization [C] . Mingyue Liang, Zhoujun Li, Qiang Zeng, International conference on information and communications security . 2018

机译：通过符号执行和编译优化消除对虚拟化代码的混淆
5. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code [D] . Islam, Mainul. 2015

机译：自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
6. A model-guided symbolic execution approach for network protocol implementations and vulnerability detection [O] . Shameng Wen, Qingkun Meng, Chao Feng, 2011

机译：用于网络协议实现和漏洞检测的模型指导的符号执行方法
7. Graph based Binary Code Execution Path Exploration Platform for Dynamic Symbolic Execution* [O] . Byeongho Kang, Eul Gyu Im 2016

机译：基于图形的二进制代码执行路径探索平台，用于动态符号执行*

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号