Projects per year
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 language | English |
|---|---|
| Title of host publication | SPIN 2017 |
| Subtitle of host publication | Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software |
| Publisher | ACM |
| Pages | 196–199 |
| Number of pages | 4 |
| ISBN (Electronic) | 978-1-4503-5077-8 |
| DOIs | |
| Publication status | Published - 13 Jul 2017 |
| Event | Int. SPIN Symposium on Model Checking Software - Duration: 13 Jul 2017 → … http://conf.researchr.org/home/spin-2017 |
Conference
| Conference | Int. SPIN Symposium on Model Checking Software |
|---|---|
| Abbreviated title | SPIN 2017 |
| Period | 13/07/17 → … |
| Internet address |
Projects
- 2 Finished
-
MobSec: Malware and Security in the Mobile Age
Cavallaro, L. (PI) & Kinder, J. (CoI)
Eng & Phys Sci Res Council EPSRC
10/11/14 → 4/05/19
Project: Research
-
Centre for Doctoral Training in Cyber Security
Cid, C. (PI), Crampton, J. (CoI), Martin, K. M. (CoI) & Paterson, K. (CoI)
Eng & Phys Sci Res Council EPSRC
1/04/13 → 31/12/19
Project: Research