SPACE GASS Static Analysis - Linear and non-linear static analysis