SEninja: symbolic execution plugin for Binary Ninja (via fanf) — discussion

#debugging #reversing