computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without...

ensuring that the program does what it is supposed to do. Program analysis can be performed without executing the program (static program analysis), during runtime...

This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis). CodePeer ConQAT Fluctuat LDRA Testbed MALPAS...

Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute...

vulnerabilities. Although the process of checking programs by reading their code (modernly known as static program analysis) has existed as long as computers have...

sense. Static type checking is the process of verifying the type safety of a program based on analysis of a program's text (source code). If a program passes...

Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without...

In program analysis, shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures...

temps-réel embarqués") is a static analyzer based on abstract interpretation. It analyzes programs written in the programming languages C and C++, and emits...

Lint is the computer science term for a static code analysis tool used to flag programming errors, bugs, stylistic errors and suspicious constructs. The...

Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly...

object-oriented programming languages, dynamic compilers are particularly good candidates for performing escape analysis. In traditional static compilation...

SCA, and secrets scanning) and actively maintains the open-source static code analysis tool semgrep OSS. Semgrep has stable support for over 30 languages...

the Static Code Analysis approach in Software Development" (PDF). Universidade do Porto. Retrieved 2010-10-03. "Tricorder: Building a Program Analysis Ecosystem"...

one run of the program. A static call graph is a call graph intended to represent every possible run of the program. The exact static call graph is an...

Dependence analysis determines whether it is safe to reorder or parallelize statements. Control dependency is a situation in which a program instruction...

transforming them. Therefore coccinelle's role is close to that of static analysis tools. Examples of such use are provided by the applications of the...

Infer, sometimes referred to as "Facebook Infer", is a static code analysis tool developed by an engineering team at Facebook along with open-source contributors...

quality to perform automatic reviews with static analysis of code to detect bugs and code smells on 29 programming languages. SonarQube offers reports on...

functional language based on a system for static program analysis in which every expression has two static properties: a type and an effect. In a study...

RIPS (Research and Innovation to Promote Security) is a static code analysis software, designed for automated detection of security vulnerabilities in...

CodeSonar is a static code analysis tool from CodeSecure, Inc. CodeSonar is used to find and fix bugs and security vulnerabilities in source and binary...

for Java. List of tools for static code analysis Grazi, Victor (August 28, 2013). "ThreadSafe Concurrency Static Analysis Tool Announces First Public...

rigorous form of static program analysis. The tool uses directed graphs and regular algebra to represent the program under analysis. Using the automated...

ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java programs at compile time. The...

Software verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies...

In computer science, pointer analysis, or points-to analysis, is a static code analysis technique that establishes which pointers, or heap references,...

static code analysis. Since then, the original static analysis technology has been extended to include security static analysis, data flow analysis,...

Formal verification Loop invariant Predicate transformer semantics Static program analysis Hoare originally wrote " P { C } Q {\displaystyle P\{C\}Q} " rather...

Gosu is a statically typed general-purpose programming language that runs on the Java Virtual Machine. Its influences include Java, C#, and ECMAScript...