Distributed Symbolic Execution Platform
CSTR:
Author:
  • Article
  • | |
  • Metrics
  • |
  • Reference [11]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    In software engineering, symbolic execution technology is an efficient program defect detection technology. Symbolic execution uses symbolic values as the inputs, which transforms the execution of the program into the corresponding symbolic expressions, and the precise analysis of the program behaviors is realized by systematacially traversing routing space. However, due to the restriction of the path explosion and constraint solving problems, symbolic execution technology has poor scalability. In order to mitigate the problem, this paper implemented a distributed symbolic execution platform which realized tasks parallelly execute and reduced the symbolic execution time overhead through a scheduling algorithm distributes tasks from master to slaves.

    Reference
    1 Schwartz EJ, Avgerinos T, Brumley D.All you ever wanted to know about dynamic taint analysis and forward symbolic execution(but might have been afraid to ask).2010 IEEE Symposium on Security and Privacy(SP).IEEE.2010.
    2 Tillmann N, De Halleux J.Pex-white box test generation for.NET.Tests and Proofs, 2008:134-153.
    3 Cadar C, Dunbar D, Engler DR.KLEE:Unassisted and automatic generation of high-coverage tests for complex systems programs.Symp.on Operating Systems Design and Implementation, 2008.
    4 董齐兴.基于动态符号执行的测试用例生成技术研究[硕士学位论文].合肥:中国科技大学,2014.
    5 娄坚波.面向宿主的嵌入式软件符号执行技术研究与实现[硕士学位论文].南京:南京航空航天大学,2011.
    6 Enderton H.A Mathematical Introduction to Logic, second edition.Academic Press, 2001.
    7 张羽丰.符号执行可扩展性及可行性关键技术研究[博士学位论文].长沙:国防科学技术大学,2013.
    8 Staats M, Pasareanu C.Parallel symbolic execution for structural test generation.ISSTA'10.Trento, Italy.July 12-16, 2010.
    9 Armbrust M, Fox A, Griffith R, et al.A view of cloud computing.Communications of the ACM, 2010, 53(4):50-58.
    10 Bucur S, Ureche V, Zamfir C, Candea G.Parallel symbolic execution for automated real-world software testing.Reprinted from EuroSys'11, Proc.of the 6th ACM SIGOPS/EuroSys Conference on Computer Systems.Salzburg, Austria.April 10-13, 2011.1-15.
    11 Avgerinos T, Rebert A, Cha SK, Brumley D.Enhancing symbolic execution with veritesting.ICSE'14.Hyderabad, India.May 31-June 7, 2014.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

孙盼盼,董威.分布式符号执行平台.计算机系统应用,2016,25(4):43-48

Copy
Share
Article Metrics
  • Abstract:1891
  • PDF: 3151
  • HTML: 0
  • Cited by: 0
History
  • Received:August 09,2015
  • Revised:September 17,2015
  • Online: April 19,2016
Article QR Code
You are the first992461Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063