Split occasionally diverges

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

190 stars 36 forks source link

Split occasionally diverges #43

Closed jawline closed 5 years ago

jawline commented 5 years ago

Split models occasionally diverge (split_lhs triggers this) or take a long time to terminate.

Could be an error in Split model or a bug in RegexpBuiltinExec (In which case it might be related to #42)