首页> 外文OA文献 >An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

【2h】

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

机译：静态分析缺陷与动态符号执行帮助的可达性确定方法

代理获取

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

页面导航

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

著录项

作者
Gerasimov A.Y.; Kruglov L.V.; Ermakov M.K.; Vartanov S.P.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution [J] . Gerasimov A. Yu., Kruglov L. V., Ermakov M. K., Programming and Computer Software . 2018,第6期

机译：动态符号执行的静态分析缺陷可及性确定方法
2. Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation [J] . Gerasimov A. Yu Programming and Computer Software . 2018,第5期

机译：用于静态分析警告确认的定向动态符号执行
3. Combining static concurrency analysis with symbolic execution [J] . Young M., Taylor R.N. IEEE Transactions on Software Engineering . 1988,第10期

机译：将静态并发分析与符号执行相结合
4. Reachability Confirmation of Statically Detected Defects Using Dynamic Analysis [C] . Alexander Gerasimov, Leonid Kruglov 2018 Ivannikov Memorial Workshop . 2018

机译：使用动态分析确定静态检测到的缺陷的可到达性
5. Static and dynamic formal analysis of concurrent systems and languages: A semantics-based approach. [D] . Farzan, Azadeh. 2007

机译：并发系统和语言的静态和动态形式分析：一种基于语义的方法。
6. Presentation of an Approach on Determination of the Natural Frequency of Human Lumbar Spine Using Dynamic Finite Element Analysis [O] . Fan Ruoxun, Liu Jie, Liu Jun, 2019

机译：动态有限元分析确定人体腰椎固有频率的方法介绍
7. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries [O] . Parvez Muhammad Riyad 2016

机译：结合静态分析和目标符号执行，可在应用程序二进制文件中进行可扩展的错误查找

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

著录项

引文网络

相似文献

相关主题

期刊订阅