MUI: Visualizing symbolic execution with Manticore and Binary Ninjablog.trailofbits.com2 pointsingve5 years ago