A Control Flow Graph (CFG) is a representation used in computer science to depict the order in which individual statements, instructions, or function calls are executed within a program. It is pivotal for optimizing compilers and static analysis tools as it helps in understanding the flow of control and identifying unreachable code or potential execution paths.