ExpoSEJS/ExpoSE

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.

1 best points · 0 comments · 1 Hacker News post · 228 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: ExpoSE, a dynamic symbolic execution engine for modern JavaScript (1 points, 0 comments, by jawline, 2020-07-19)