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
183 stars 36 forks source link

Add the lastIndexOf implementation #85

Closed tapaswenipathak closed 4 years ago

tapaswenipathak commented 4 years ago

Fix https://github.com/ExpoSEJS/ExpoSE/issues/57.