swMATH ID: 30523
Software Authors: Loring, B., Mitchell, D., Kinder, J.
Description: ExpoSE: practical symbolic execution of standalone JavaScript. 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.
Homepage: https://dl.acm.org/citation.cfm?id=3092295
Source Code: https://github.com/ExpoSEJS/ExpoSE
Dependencies: JavaScript
Related Software: DART; z3; S3; Z3-str; Z3str3; PASS; StrSolve; Norn; Gecode; MiniZinc; jCUTE; Jalangi; KLEE; CUTE; WAPTEC; Stranger; CHIP; SUNNY; claspfolio 2; Proteus
Cited in: 3 Publications

Cited in 1 Serial

1 Artificial Intelligence

Citations by Year