issues
search
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
185
stars
36
forks
source link
Features/browser
#19
Closed
jawline
closed
5 years ago
jawline
commented
5 years ago
Output the number of times each method was concretized.
Output the number of times each method was concretized.