A NOVEL SYMBOLIC EXECUTION FRAMEWORK FOR MULTI-PROCEDURE PROGRAM ANALYSIS

著录项

• 来源
  《Proceedings of 2009 2nd IEEE international conference on broadband network amp; multimedia technology》|2009年|p.858-863|共6页
• 会议地点 Beijing(CN);Beijing(CN)
• 作者

  Fan Wenqing; Liang Hongling; Yang Yixian; Xu Guoai;

  展开▼
• 作者单位

  Key Laboratory of network and information attack defence technology of MOE, Beijing University of Posts and Telecommunications, Beijing, China Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University o;

  Key Laboratory of network and information attack defence technology of MOE, Beijing University of Posts and Telecommunications, Beijing, China Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University o;

  Key Laboratory of network and information attack defence technology of MOE, Beijing University of Posts and Telecommunications, Beijing, China Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University o;

  Key Laboratory of network and in;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种
• 中图分类 多媒体技术与多媒体计算机;计算机网络;
• 关键词

  symbolic execution; static analysis; inter-procedure analysis;

  机译：符号执行;静态分析;过程间分析;