Program analysis has wide applications in various areas such as bug detection, program optimization and program comprehension. It can be briefly categorized into static analysis and dynamic analysis. Static analysis generally suffers from high false positives due to the inherent abstraction. While dynamic analysis often has a high false negative rate because of its limited testing space. In this talk, I will introduce live program analysis, a high-precision and high-coverage program analysis technique that can be used in production-run environments for security-critical scenarios.