Data-flow analysis is a technique used in compiler design to track the flow of data through a program, enabling optimizations and error detection by understanding how values are computed and where they are used. It involves examining the control flow and data dependencies within a program to gather information about the possible states of variables at various points.