Nordio, Martín STALlion : A simple typed assembly language for static analysis Standard No.: DIF-M4121