Software Program Analysis Task
Jump to navigation
Jump to search
A Software Program Analysis Task is a information analysis task whose input is a software program.
- Example(s):
- Counter-Example(s):
- See: Dynamic Program Analysis, Program Optimization, Program Correctness.
References
2020
- (Wikipedia, 2020) ⇒ https://en.wikipedia.org/wiki/Program_analysis Retrieved:2020-3-31.
- 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.
Program analysis can be performed without executing the program (static program analysis), during runtime (dynamic program analysis) or in a combination of both.
- 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.
- ↑ Nielson, F., Nielson, H. R., & Hankin, C. (2015). Principles of program analysis. Springer.