Program analysis
Process of analyzing computer program behavior / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Program analysis?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
For other uses, see Program analysis (disambiguation).
In computer science, program analysis[1] is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. 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.
This article needs additional citations for verification. (February 2018) |
Program analysis can be performed without executing the program (static program analysis), during runtime (dynamic program analysis) or in a combination of both.