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

Models for indexOf and lastIndexOf #57

Open jawline opened 5 years ago

tapaswenipathak commented 4 years ago

Hi @jawline: Can I work on the ticket? Is the ticket internal?

jawline commented 4 years ago

Hey, I'd be happy for somebody to take a look! I've already built a model for indexOf, but the lastIndexOf model is unfinished (currently its just indexOf). You can find the models in https://github.com/ExpoSEJS/ExpoSE/blob/master/Analyser/src/Models/StringModels.js

jawline commented 4 years ago

Did you make much progress with this?

tapaswenipathak commented 4 years ago

Sadly, no. I remember I was exploring tests, I will look at the PR in next few days, thanks for the patience.

tapaswenipathak commented 4 years ago

@jawline: I will pr separately, closed the existing.