ExpoSE: practical symbolic execution of standalone JavaScript

Blake Loring, Duncan Mitchell, Johannes Kinder

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

107 Downloads (Pure)


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
Number of pages4
ISBN (Electronic)978-1-4503-5077-8
Publication statusPublished - 13 Jul 2017
EventInt. SPIN Symposium on Model Checking Software -
Duration: 13 Jul 2017 → …


ConferenceInt. SPIN Symposium on Model Checking Software
Abbreviated titleSPIN 2017
Period13/07/17 → …
Internet address

Cite this