ExpoSE: Practical Symbolic Execution of Standalone JavaScript. / Loring, Blake; Mitchell, Duncan; Kinder, Johannes.

SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, 2017. p. 196–199.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

Abstract

JavaScript has evolved into a versatile ecosystem for not just the web, but also a wide range of server-side and client-side applications. With this increased scope, the potential impact of bugs increases. We introduce ExpoSE, a dynamic symbolic execution engine for Node.js applications. ExpoSE automatically generates test cases to find bugs and cover as many paths in the target program as possible. We discuss the specific challenges for symbolic execution arising from the widespread use of regular expressions in such applications. In particular, we make explicit the issues of capture groups, backreferences, and greediness in JavaScript's flavor of regular expressions, and our models improve over previous work that only partially addressed these. We evaluate ExpoSE on three popular JavaScript libraries that make heavy use of regular expressions, and we report a previously unknown bug in the Minimist library.
Original languageEnglish
Title of host publicationSPIN 2017
Subtitle of host publicationProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
PublisherACM
Pages196–199
Number of pages4
ISBN (Electronic)978-1-4503-5077-8
DOIs
StatePublished - 13 Jul 2017
EventInt. SPIN Symposium on Model Checking Software -

Conference

ConferenceInt. SPIN Symposium on Model Checking Software
Abbreviated titleSPIN 2017
Period13/07/17 → …
Internet address
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 28136035