Interprocedural Analysis of Low-Level Code