MUI: Visualizing symbolic execution with Manticore and Binary Ninja | Heykuki News