24 Forks
151 Stars
151 Watchers

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.

How to download and setup ExpoSE

Open terminal and run command
git clone https://github.com/ExpoSEJS/ExpoSE.git
git clone is used to create a copy or clone of ExpoSE repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with ExpoSE https://github.com/ExpoSEJS/ExpoSE/archive/master.zip

Or simply clone ExpoSE with SSH
[email protected]:ExpoSEJS/ExpoSE.git

If you have some problems with ExpoSE

You may open issue on ExpoSE support forum (system) here: https://github.com/ExpoSEJS/ExpoSE/issues