i have some questions to ask

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

186 stars 36 forks source link

i have some questions to ask #115

Open bboysteed opened 2 months ago

bboysteed commented 2 months ago

1.when execution runing,where can i find the constraints collected? 2.does this tool use @babel/parse to parse code to symbolic execution?