http://wiki.karljones.com/index.php?action=history&feed=atom&title=Program_analysis 2026-10-23T13:25:13Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Program_analysis&diff=18639&oldid=prev 2016-09-21T11:44:14Z

<p>Created page with &quot;In <a href="/index.php/Computer_science" title="Computer science">computer science</a>, &#039;&#039;&#039;program analysis&#039;&#039;&#039; is the process of automatically analyzing the behavior of <a href="/index.php/Computer_program" title="Computer program">computer programs</a> regarding a property such as c...&quot;</p> <p><b>New page</b></p><div>In [[computer science]], '''program analysis''' is the process of automatically analyzing the behavior of [[Computer program|computer programs]] regarding a property such as correctness, robustness, safety and liveness.<br /> <br /> == Description ==<br /> <br /> Program analysis focuses on two major areas: [[program optimization]] and [[program correctness]]. 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.<br /> <br /> Program analysis can be performed without executing the program ([[static program analysis]]), during [[run time]] ([[dynamic program analysis]]), or in a combination of both.<br /> <br /> == See also ==<br /> <br /> * [[Abstract interpretation]]<br /> * [[Control flow analysis]]<br /> * [[Data-flow analysis]]<br /> * [[Dynamic program analysis]]<br /> * [[Effect system]]<br /> * [[Model checking]]<br /> * [[Program optimization]]<br /> * [[Program optimization]]<br /> * [[Program slicing]]<br /> * [[Static program analysis]]<br /> * [[Type checking]]<br /> * [[Type system]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Program_analysis Program analysis] @ Wikipedia<br /> <br /> <br /> [[Category:Computer science]]</div>

Karl Jones