Linear Static Analysis