Skip to search formSkip to main contentSkip to account menu

Static program analysis

Known as: Static testing, Static analyzer, Code analysis 
Static program analysis is the analysis of computer software that is performed without actually executing programs (analysis performed on executing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ANSI/ISO C Specification LanguageASF+SDF Meta-EnvironmentAbstract interpretationClang

Broader (1)

Software review

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
CacheAudit: A Tool for the Static Analysis of Cache Side Channels
We present CacheAudit, a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input… 
Highly Cited
2009
Highly Cited
2009
Apron: A Library of Numerical Abstract Domains for Static Analysis
This article describes Apron , a freely available library dedicated to the static analysis of the numerical variables of programs… 
Highly Cited
2009
Highly Cited
2009
Static Analysis of Executables for Collaborative Malware Detection on Android
Smartphones are getting increasingly popular and several malwares appeared targeting these devices. General countermeasures to… 
Highly Cited
2008
Highly Cited
2008
Enabling static analysis for partial java programs
Software engineering tools often deal with the source code of programs retrieved from the web or source code repositories… 
Highly Cited
2008
Highly Cited
2008
Event queries on correlated probabilistic streams
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state… 
Highly Cited
2005
Highly Cited
2005
Static analysis tools as early indicators of pre-release defect density
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates… 
Highly Cited
2005
Highly Cited
2005
The ASTREÉ Analyzer
ASTREE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors… 
Highly Cited
2004
Highly Cited
2004
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and… 
Highly Cited
2000
Highly Cited
2000
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success… 
Highly Cited
1980
Highly Cited
1980
Some practical procedures for the solution of nonlinear finite element equations
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)