Linear static analysis