Short: A new generation binary editor