Static program analysis

Topic | v1 | created by jjones |

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.


subtopic of Computer science

Computer science is the study of computation and information. Computer science deals with theory of c...

used by Software verification

Software verification is a discipline of software engineering whose goal is to assure that software f...

Edit details Edit relations Attach new author Attach new topic Attach new resource

treated in C++ linter based on linear types

8.0 rating 5.0 level 7.0 clarity 6.0 background – 1 rating

Low-level programming requires careful management of system resources, most notably memory. In C++ pr...

treated in Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable...