computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without...
18 KB (1,921 words) - 10:11, 12 August 2024
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...
10 KB (1,315 words) - 22:15, 5 August 2024
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...
38 KB (1,197 words) - 17:21, 8 November 2024
security testing Static program analysis Okun, V.; Guthrie, W. F.; Gaucher, H.; Black, P. E. (October 2007). "Effect of static analysis tools on software...
15 KB (1,705 words) - 06:19, 23 September 2024
Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without...
3 KB (355 words) - 15:03, 27 November 2020
Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute...
9 KB (1,074 words) - 08:27, 15 July 2024
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...
7 KB (669 words) - 21:28, 20 August 2024
static or -static in Wiktionary, the free dictionary. Static may refer to: Static Nunatak, in Antarctica Static, Kentucky and Tennessee, U.S. Static Peak...
4 KB (603 words) - 11:29, 2 October 2024
Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly...
4 KB (359 words) - 11:12, 18 June 2024
Lint (software) (redirect from Lint programming tool)
Lint is the computer science term for a static code analysis tool used to flag programming errors, bugs, stylistic errors and suspicious constructs. The...
8 KB (717 words) - 20:53, 26 October 2024
Type system (redirect from Static-typing (programming languages))
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...
57 KB (7,206 words) - 15:40, 19 November 2024
In program analysis, shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures...
9 KB (1,057 words) - 08:40, 10 August 2024
FX-87 (redirect from KFX (program))
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...
1 KB (162 words) - 20:22, 7 December 2021
object-oriented programming languages, dynamic compilers are particularly good candidates for performing escape analysis. In traditional static compilation...
8 KB (1,024 words) - 22:15, 7 June 2024
Semgrep (category Static program analysis tools)
SCA, and secrets scanning) and actively maintains the open-source static code analysis tool semgrep OSS. Semgrep has stable support for over 30 languages...
9 KB (787 words) - 14:37, 1 November 2024
Coverity (category Static program analysis tools)
Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects....
6 KB (415 words) - 13:36, 27 August 2024
Fortify Software (category Static program analysis tools)
observing program output, and Dynamic taint propagation: Finding vulnerabilities without attacking. List of tools for static code analysis "HP Completes...
9 KB (624 words) - 06:50, 3 October 2024
Dependence analysis determines whether it is safe to reorder or parallelize statements. Control dependency is a situation in which a program instruction...
4 KB (564 words) - 13:04, 22 January 2024
SonarQube (category Static program analysis tools)
quality to perform automatic reviews with static analysis of code to detect bugs and code smells on 29 programming languages. SonarQube offers reports on...
7 KB (452 words) - 11:24, 23 September 2024
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...
8 KB (780 words) - 09:51, 25 September 2024
ESC/Java (category Static program analysis tools)
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...
8 KB (895 words) - 03:55, 16 January 2022
Call graph (category Static program analysis)
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...
14 KB (1,566 words) - 01:59, 9 November 2023
compute useful information for understanding aliasing in programs. In general, alias analysis determines whether or not separate memory references point...
6 KB (893 words) - 03:43, 31 May 2024
Taint checking (category Static program analysis)
"Secure information flow as a safety problem". In 12th International Static Analysis Symposium, September 2005. "DBI - Database independent interface for...
6 KB (714 words) - 19:49, 6 May 2022
computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for each input. This...
16 KB (1,726 words) - 16:40, 27 October 2024
Checkmarx (category Static program analysis tools)
Checkmarx is an enterprise application security company specializing in static application security testing (SAST) headquartered in Atlanta, Georgia in...
9 KB (730 words) - 06:57, 13 November 2024
analysis is a type of data flow analysis that tracks the range (interval) of values that a numeric variable can take on at each point of a program's execution...
2 KB (181 words) - 15:17, 5 October 2024
BLAST model checker (category Static program analysis tools)
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...
5 KB (386 words) - 17:10, 18 June 2024
Polyspace (category Static program analysis tools)
Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors...
6 KB (530 words) - 04:15, 1 August 2024
Sparse (category Static program analysis tools)
possible coding faults in the Linux kernel. Unlike other such tools, this static analysis tool was initially designed to only flag constructs that were likely...
8 KB (811 words) - 19:28, 8 May 2024