Support for Multi-Path symbolic execution

[zhaogang92]

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]

Unfortunately no, that is not supported in Jalangi 2.

…

On Tue, Jan 30, 2018, 18:56 zhaogang ***@***.***> 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 <#144>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AALyUfipYUGLO_Daw98wXJXoJpkI4rRXks5tP9ZHgaJpZM4RzWQk> .

[zhaogang92]

@msridhar Got it. Thanks for your quick reply!