Versatile Binary-level Concolic Testing