A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
MIT License
185
stars
36
forks
source link
No tests for concrete execution of symbolicHook #32
String methods etc could fail in concrete mode if this method is broken. It should be tested.