4 ms·
You might be interested in GUEB[1] as well. It's a PhD project that implements symbolic execution. It has been able to find real-life vulerabilities. [1] http
by noname120 6y ago
You might be interested in GUEB[1] as well.
It's a PhD project that implements symbolic execution. It has been able to find real-life vulerabilities.
[1] https://github.com/montyly/gueb https://github.com/montyly/gueb