This article is about the statistical technique. For how this term is used in software development, see Static program analysis.
This article's factual accuracy is disputed. Relevant discussion may be found on the talk page. Please help to ensure that disputed statements are reliably sourced.(December 2016) (Learn how and when to remove this message)
Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without regard to the longer-term response of the system to that change. If the short-term effect is then extrapolated to the long term, such extrapolation is inappropriate.
Its opposite, dynamic analysis or dynamic scoring, is an attempt to take into account how the system is likely to respond to the change over time. One common use of these terms is budget policy in the United States,[1] although it also occurs in many other statistical disputes.
^Alen J. Auerbach (7 January 2005), Dynamic Scoring: An Introduction to the Issues(PDF), American Economic Association, archived from the original (PDF) on 10 July 2009, retrieved 2010-03-31
In computer science, static program analysis (also known as staticanalysis or static simulation) is the analysis of computer programs performed without...
Staticanalysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without...
This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis). AdaControl CodePeer ConQAT Fluctuat LDRA...
potential security vulnerabilities in their software and architecture. Staticanalysis tools can detect an estimated 50% of existing security vulnerabilities...
database was in this state), these files are used to restore that state. Staticanalysis techniques for software verification can be applied also in the scenario...
Static timing analysis (STA) is a simulation method of computing the expected timing of a synchronous digital circuit without requiring a simulation of...
appropriate, and more complex analysis is often required, such as non-linear staticanalysis or dynamic analysis. Static procedures are appropriate when...
decision diagrams. LRU staticanalysis does not extend to pseudo-LRU policies. According to computational complexity theory, static-analysis problems posed by...
during the testing phase since staticanalysis leads to the root of the vulnerability. Due to many forms of staticanalysis being computationally undecidable...
considered complete until all tests complete successfully. Tools for static code analysis help developers by inspecting the program text beyond the compiler's...
data. Internally, it uses a NoSQL database named sdb to keep track of analysis information that can be inferred by Radare2 or manually added by the user...
vendor-independent access to the Ada Library Environment. It allows for the staticanalysis of Ada programs and libraries. It is an open, published interface library...
input, then one may be buggy and should be examined more closely. Static program analysis analyzes a program without actually executing it. This might lead...
In computer science, control-flow analysis (CFA) is a static-code-analysis technique for determining the control flow of a program. The control flow is...
(Newton's first law of motion) can be ignored and the analysis can be simplified as staticanalysis. A static load is one which varies very slowly. A dynamic...
groups: staticanalysis tools and dynamic analysis tools. Thread Safety Analysis is a staticanalysis tool for annotation-based intra-procedural static analysis...
typing. While both typing disciplines can be used to perform staticanalysis of code (static typing), optional type systems do not enforce type safety at...
and architecture analysis. Cigital also provided instructor-led security training and products such as SecureAssist, a staticanalysis tool that acts as...
uses two techniques to detect malware: (i) staticanalysis and (ii) dynamic/heuristic analysis. Staticanalysis involves studying the software code of a...
continuous inspection of code quality to perform automatic reviews with staticanalysis of code to detect bugs and code smells on 29 programming languages...
Doxygen (/ˈdɒksidʒən/ DOK-see-jən) is a documentation generator and staticanalysis tool for software source trees. When used as a documentation generator...
semgrep or Semgrep CLI is a free open-source static code analysis tool developed by Semgrep, Inc. (formerly r2c) and open-source contributors. It has stable...
performing all the calculations. Its main concrete application is formal staticanalysis, the automatic extraction of information about the possible executions...