首页|期刊导航|高技术通讯（英文版）|Defeating constraint based program analysis with temporal correlation function

Defeating constraint based program analysis with temporal correlation function

An Jing Fan Wenqing Yang Yixian

高技术通讯（英文版）2013，Vol.19Issue(3)：332-337,6.

高技术通讯（英文版）2013，Vol.19Issue(3)：332-337,6.DOI:10.3772/j.issn.1006-6748.2013.03.018

Defeating constraint based program analysis with temporal correlation function

An Jing ¹Fan Wenqing ²Yang Yixian¹

作者信息

1. Information Security Center, Beijing University of Posts and Telecommunications, Beijing 100876, P.R.China
2. College of Software Engineering, Communication University of China, Beijing 100024, P.R.China
折叠

摘要

关键词

program analysis/symbolic execution/satisfiability problem/constraint solving

Key words

program analysis/symbolic execution/satisfiability problem/constraint solving

引用本文复制引用

An Jing,Fan Wenqing,Yang Yixian..Defeating constraint based program analysis with temporal correlation function[J].高技术通讯（英文版）,2013,19(3):332-337,6.

基金项目

Supported by the National Natural Science Foundation of China (No.61121061) and National Key Technology R&D Program (No.2012BAH38B02,2012BAH06B00). （No.61121061）

高技术通讯（英文版）

OAEI

ISSN：1006-6748

访问量0

下载量0

段落导航