SEninja: Symbolic execution plugin for Binary Ninja