Static Analysis of x86 Assembly: Certification and Robustness Analysis