Program analysis is the automatic examination of Software to understand its properties or behavior. It peers into code, revealing potential Bugs or ensuring correctness, often without execution. See also Compiler Debugging Static Analysis Dynamic Analysis