Numerical static analysis with Soot