Example: confidence
Static Program Analysis - Aarhus Universitet

Static Program Analysis - Aarhus Universitet

Back to document page

and interesting, and we discuss the basic characteristics of analysis tools. 1.1 Applications of Static Program Analysis Static program analysis has been used since the early 1960’s in optimizing com-pilers. More recently, it has proven useful also for bug finding and verification tools, and in IDEs to support program development.

  Basics, Tool, Static

Download Static Program Analysis - Aarhus Universitet


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries