TY - GEN AU - Nordio,Martín TI - STALlion: A simple typed assembly language for static analysis ER -