Advances in Symbolic Execution

被引：8
|
作者：
Yang, Guowei [1 ]
Filieri, Antonio [2 ]
Borges, Mateus [3 ]
Clun, Donato [3 ]
Wen, Junye [1 ]
机构：
[1] Texas State Univ, Dept Comp Sci, San Marcos, TX 78666 USA
[2] Imperial Coll London, London, England
[3] Imperial Coll London, Dept Comp, London, England
来源：
ADVANCES IN COMPUTERS, VOL 113 | 2019年 / 113卷
关键词：
SOLVER;
D O I：
10.1016/bs.adcom.2018.10.002
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Symbolic execution is a systematic technique for checking programs, which forms a basis for various software testing and verification techniques. It provides a powerful analysis in principle but remains challenging to scale and generalize symbolic execution in practice. This chapter reviews the cutting-edge research accomplishments in addressing these challenges in the last 5 years, including advances in addressing the scalability challenges such as constraint solving and path explosion, as well as advances in applying symbolic execution in testing, security, and probabilistic program analysis.
引用
收藏
页码：225 / 287
页数：63
相关论文
共 50 条
  • [1] Symbolic Types for Lenient Symbolic Execution
    Chang, Stephen
    Knauth, Alex
    Torlak, Emina
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [2] Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
    Shiqi, Shen
    Shinde, Shweta
    Ramesh, Soundarya
    Roychoudhury, Abhik
    Saxena, Prateek
    26TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2019), 2019,
  • [3] Quantum symbolic execution
    Nan, Jiang
    Zichen, Wang
    Jian, Wang
    QUANTUM INFORMATION PROCESSING, 2023, 22 (10)
  • [4] Relational Symbolic Execution
    Farina, Gian Pietro
    Chong, Stephen
    Gaboardi, Marco
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [5] Symbolic Execution with CEGAR
    Beyer, Dirk
    Lemberger, Thomas
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 195 - 211
  • [6] Chopped Symbolic Execution
    Trabish, David
    Mattavelli, Andrea
    Rinetzky, Noam
    Cadar, Cristian
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 350 - 360
  • [7] Quantum symbolic execution
    Jiang Nan
    Wang Zichen
    Wang Jian
    Quantum Information Processing, 22
  • [8] Certified Symbolic Execution
    Qiu, Rui
    Pasareanu, Corina S.
    Khurshid, Sarfraz
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 495 - 511
  • [9] Symbolic Router Execution
    Zhang, Peng
    Wang, Dan
    Gember-Jacobson, Aaron
    SIGCOMM '22: PROCEEDINGS OF THE 2022 ACM SIGCOMM 2022 CONFERENCE, 2022, : 336 - 349
  • [10] Directed Symbolic Execution
    Kin-Keung Ma
    Khoo Yit Phang
    Foster, Jeffrey S.
    Hicks, Michael
    STATIC ANALYSIS, 2011, 6887 : 95 - 111
12345