A DFA-based x86-32 validator for Native Client