Linear Static analysis