Non Linear Static Analysis