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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ExpoSEJS/ExpoSE Stargazers