We introduce ExpoSE, a dynamic symbolic execution engine for Node.js applications. ExpoSE automatically generates test cases to find bugs.
We introduce ExpoSE, a dynamic symbolic execution engine for. Node.js applications. ExpoSE automatically generates test cases to find bugs and cover as many ...
JavaScript analysis is hard! Take care with type coercion. Keep program structure in mind. Open Source: ExpoSE, Z3JS, and Regex available at.
Missing: standalone | Show results with:standalone
We discuss the specific challenges for symbolic execution arising from the widespread use of regular expressions in such applica- tions. In particular, we make ...
ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions. License. MIT license.
Jul 26, 2024 · ExpoSE: practical symbolic execution of standalone JavaScript. Blake Loring, Duncan Mitchell, and Johannes Kinder. SPIN 2017: Proceedings of ...
ExpoSE is a dynamic symbolic execution (DSE) tool for JavaScript with support for asynchronous events, strings, and complex regular expressions (including ...
ExpoSE: practical symbolic execution of standalone JavaScript. Blake Loring, Duncan Mitchell, Johannes Kinder. Department of Computer Science · Centre for ...
ExpoSE. • Dynamic symbolic execution engine (prototype) [ SPIN'17 ]. • Built in JavaScript (node.js) using Jalangi 2 and Z3. • SAGE-style generational search ...
Apr 25, 2024 · Sound regular expression semantics for dynamic symbolic execution of JavaScript ... ExpoSE: practical symbolic execution of standalone JavaScript.