Manticore: Symbolic execution for humans | Heykuki News