Liveness analysis is a data-flow analysis technique used in compiler optimization to determine which variables are live at each point in a program, meaning they hold values that may be needed in the future. This information is crucial for optimizing register allocation and eliminating unnecessary variable assignments, thereby improving the efficiency of the generated code.