What Is Linear Static Analysis