Static program analysis


Topic | v1 | created by jjones |
Description

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.


Relations

subtopic of Computer science

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


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

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...