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

FIx Slice Model #40

Closed jawline closed 5 years ago

jawline commented 5 years ago

Add a custom model for slice, rather than deferring to substrHelper with modified indices.

Fixes #39