Static Program Analysis Task
A Static Program Analysis Task is a software program analysis task that is performed without executing a software program.
- Context:
- It can be supported by a Static Code Analysis System.
- …
- Counter-Example(s):
- See: Software Walkthrough, Source Code, Object Code, Program Comprehension, Code Review, Software Inspection.
References
2023
- (Wikipedia, 2023) ⇒ https://en.wikipedia.org/wiki/Static_program_analysis Retrieved:2023-4-7.
- In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review. In the last of these, software inspection and software walkthroughs are also used. In most cases the analysis is performed on some version of a program's source code, and, in other cases, on some form of its object code.
- In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
2020
- (Wikipedia, 2020) ⇒ https://en.wikipedia.org/wiki/Static_program_analysis Retrieved:2020-3-31.
- Static program analysis is the analysis of computer software that is performed without actually executing programs, in contrast with dynamic analysis, which is analysis performed on programs while they are executing. In most cases the analysis is performed on some version of the source code, and in the other cases, some form of the object code.
The term is usually applied to the analysis performed by an automated tool, with human analysis being called program understanding, program comprehension, or code review. Software inspections and software walkthroughs are also used in the latter case.
- Static program analysis is the analysis of computer software that is performed without actually executing programs, in contrast with dynamic analysis, which is analysis performed on programs while they are executing. In most cases the analysis is performed on some version of the source code, and in the other cases, some form of the object code.