13
IRUS Total
Downloads

Pending constraints in symbolic execution for better exploration and seeding

File Description SizeFormat 
accepted.pdfAccepted version910.06 kBAdobe PDFView/Open
Title: Pending constraints in symbolic execution for better exploration and seeding
Authors: Kapus, T
Busse, F
Cadar, C
Item Type: Conference Paper
Abstract: Symbolic execution is a well established technique for software testing and analysis. However, scalability continues to be a challenge, both in terms of constraint solving cost and path explosion.In this work, we present a novel approach for symbolic execution, which can enhance its scalability by aggressively prioritising execution paths that are already known to be feasible, and deferring all other paths. We evaluate our technique on nine applications, in-cludingSQLite3, make and tcpdump and show it can achieve higher coverage for both seeded and non-seeded exploration.
Issue Date: 25-Dec-2020
Date of Acceptance: 30-Jul-2020
URI: http://hdl.handle.net/10044/1/83381
Publisher: IEEE / ACM
Journal / Book Title: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Copyright Statement: © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Sponsor/Funder: DSO National Laboratories
European Research Council (ERC)
Funder's Grant Number: DSOCO16080
819141
Conference Name: IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
Publication Status: Published
Start Date: 2020-09-21
Finish Date: 2020-09-25
Conference Place: Melbourne, Australia (Virtual)
Appears in Collections:Computing
Faculty of Engineering