static analysis


Also found in: Wikipedia.

static analysis

(theory, programming)
A family of techniques of program analysis where the program is not actually executed (as opposed to dynamic analysis), but is analyzed by tools to produce useful information.

Static analysis techniques range from the most mundane (statistics on the density of comments, for instance) to the more complex, semantics-based techniques.

Qualities sought in static analysis techniques are soundness and completeness.
References in periodicals archive ?
* Code Review - Apply static analysis to source code, e.g., MISRA C/C++ and Custom Coding Rules.
In the framework of the project, The following services must be provided by the contractor in particular: - conception of an it security-specific and user-friendly definition language in order to map the correct use of cryptographic libraries and the tr-2102-1, - mapping of the it security recommendations of the tr-2102-1 to the definition language, - mapping of the correct use of the cryptographic libraries "bouncy castle" and "botan" to the definition language, - development of a compiler that translates the definition language into a context-sensitive static analysis, - carry out an automatic check of source code and an evaluation of the tool quality, - integration of the tool into the development environments visual studio and eclipse.
This paper is structured as follows: Section 2 reviews some important concepts about PEST analysis framework, a framework for PEST analysis based on NCM static analysis is presented.
The post notes "The process starts with Sapienz, along with Facebook's Infer static analysis tool, helping localize the point in the code to patch.
Currently, static analysis is the conventional technique for malware detection ,which exhaustively examines all data flows and pinpoints problematic ones.
Our solution introduces a complete, automated system for static analysis of Android applications, data extraction and storage, and comparison of different machine learning classifiers and algorithms, as well as visualisation of the produced results.
The adoption of CI/CD and remediation of actionable defects by developers highlight the value of static analysis to the OSS ecosystem.
To predict the possible failure, static analysis was carried out to predict the structural strength & dynamic simulation was carried out to get frequency response [2].
Forcheck is a privately held software company that provides a static analysis tool for detecting coding defects and anomalies in Fortran applications.
Forcheck technology will be integrated into Synopsys' Coverity static analysis solution to provide support for software written in the Fortran programming language, which is a popular choice for numerically intensive scientific and engineering applications in industries such as oil and gas, military, defense and aerospace.
Implicit static algorithm (ISA) [2], explicit quasi-static algorithm (EQSA) [2], and dynamic relaxation method (DRM) [3] are the three main methods used for structural static analysis.
For practical applications, Liu [10] proposed an empirical formula through calculating the dynamic increasing factor (DIF), which can be used with nonlinear static analysis to assess the potential of progressive collapse for steel frames.