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.
MIT License
183 stars 36 forks source link

Fix #104 assuming "use symbols support" #105

Closed mdittmer closed 3 years ago

mdittmer commented 3 years ago

Fix #104 assuming "use symbols support" interpretation of what it means to consume this code as a NodeJS module.