+**Program analysis** is the automatic examination of [Software](/wiki/software) to understand its properties or behavior. It peers into code, revealing potential [Bugs](/wiki/bug) or ensuring correctness, often without execution.
+## See also
+- [Compiler](/wiki/compiler)
+- [Debugging](/wiki/debugging)
+- [Static Analysis](/wiki/static_analysis)
... 1 more lines