Program analysis is a field of computer science and a methodological approach concerned with the systematic, often automated, examination of computer programs to determine their properties, behavior, or structure. This rigorous analysis, which can be performed statically (without execution) or dynamically (during execution), is fundamental for tasks such as software verification, bug detection, optimization, and security assessment, providing critical insights into program correctness and performance.