Non-Linear Static Analysis