Control Flow Integrity (CFI) is a security mechanism that ensures a program's execution follows its intended execution path, thereby preventing attacks that hijack the control flow of a program, such as buffer overflows and return-oriented programming. By establishing a control flow graph, CFI helps in restricting a program's execution strictly to its designated paths, enhancing overall software security.