Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Program analysis
open-in-new
<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: <a href="/facts/Program_optimization/nXz6RpRM">program optimization</a> and <a href="/facts/Program_correctness/m4yxw3gw">program correctness</a>. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. </p><p>Program analysis can be performed without executing the program (<a href="/facts/Static_program_analysis/b56nr6QM">static program analysis</a>), during runtime (<a href="/facts/Dynamic_program_analysis/PLPVACCU">dynamic program analysis</a>) or in a combination of both. </p>