Samsung
Support for Multi-Path symbolic execution
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!
Unfortunately no, that is not supported in Jalangi 2.
On Tue, Jan 30, 2018, 18:56 zhaogang [email protected] 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 .
