Arithmetic Reasoning for Static Analysis of Software