https://github.com/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.

bug-fixing javascript program-analysis programming-languages software-testing symbolic-execution unit-testing

Last synced: 13 May 2025