Static program analysis
Topic history | v1 (current) | created by jjones
Details
Static program analysis
see v1 | created by jjones | Add topic "Linear type system"
- Title
- Static program analysis
- 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.
- Link
- https://en.wikipedia.org/?curid=28811
resources
treated in C++ linter based on linear types
treated in Software Foundations
authors
This topic has no history of related authors.