FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers

• Main Authors: TU, Haoxin, JIANG, Lingxiao, DING, Xuhua, JIANG, He
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Performance; Software testing; Symbolic execution; Type inference; Computer Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7710; https://ink.library.smu.edu.sg/context/sis_research/article/8713/viewcontent/fse22fastKLEEdemo.pdf
• Institution: Singapore Management University

Symbolic execution (SE) has been widely adopted for automatic program analysis and software testing. Many SE engines (e.g., KLEE or Angr) need to interpret certain Intermediate Representations (IR) of code during execution, which may be slow and costly. Although a plurality of studies proposed to ac...