search

Samsung / jalangi2

Dynamic analysis framework for JavaScript
Apache License 2.0
435 stars 119 forks source link

Support for Multi-Path symbolic execution #144

Open zhaogang92 opened 6 years ago

zhaogang92 commented 6 years ago

I saw in Jalangi1 there is implementation for Multi-Path symbolic execution (see this paper: https://people.eecs.berkeley.edu/~ksen/papers/multise.pdf). But Jalangi1 is inactive now. I am wondering if there is any support for Multi-Path symbolic execution in Jalangi2? Any answer is appreciated. Thanks!

msridhar commented 6 years ago

Unfortunately no, that is not supported in Jalangi 2.

On Tue, Jan 30, 2018, 18:56 zhaogang notifications@github.com wrote:

I saw in Jalangi1 there is implementation for Multi-Path symbolic execution (see this paper: https://people.eecs.berkeley.edu/~ksen/papers/multise.pdf). But Jalangi1 is inactive now. I am wondering if there is any support for Multi-Path symbolic execution in Jalangi2? Any answer is appreciated. Thanks!

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/Samsung/jalangi2/issues/144, or mute the thread https://github.com/notifications/unsubscribe-auth/AALyUfipYUGLO_Daw98wXJXoJpkI4rRXks5tP9ZHgaJpZM4RzWQk .

zhaogang92 commented 6 years ago

@msridhar Got it. Thanks for your quick reply!