Univ. Grenoble Alpes, 38000 Grenoble, France;
Univ. Grenoble Alpes, 38000 Grenoble, France;
Univ. Grenoble Alpes, 38000 Grenoble, France;
机译:使用API模型进行指导符号执行分析系统软件组件
机译:依赖指导的符号执行
机译:使用符号执行来指导测试生成
机译:使用子图控制流信息引导动态符号执行
机译:动态符号执行中的上下文和前提条件搜索策略。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:将动态符号执行引导至未经验证的程序执行