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
185
stars
36
forks
source link
Dependency detection for Python portion of ExpoSE in browsers is limited #52
If dependencies aren't installed ExpoSE may hang forever. At the least which should be used to check that there is any mitmproxy on the system (or mitmproxy -v should be used to check a python3 varient is installed)
If dependencies aren't installed ExpoSE may hang forever. At the least
which
should be used to check that there is any mitmproxy on the system (or mitmproxy -v should be used to check a python3 varient is installed)