Dynamic symbolic execution for polymorphism
automatic exploit generation .