GitHub repository: ExpoSEJS/ExpoSE
Primary language: JavaScript
Description: 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.