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
2012
Highly Cited
2012
Comparative Study of the Static and Dynamic Analysis of Multi-Storey Irregular Building
As the world move to the accomplishment of Performance Based Engineering philosophies in seismic design of Civil Engineering… 
2011
2011
A layerwise mixed least-squares finite element model for static analysis of multilayered composite plates
Highly Cited
2010
Highly Cited
2010
Digital Control of Resonant Converters: Resolution Effects on Limit Cycles
The conditions for limit-cycle oscillations in digitally controlled resonant converters are explored theoretically and are tested… 
Highly Cited
2008
Highly Cited
2008
Mitigating Android Software Misuse Before It Happens
Mobile phones running open operating systems such as Google Android will soon be the norm in cellular networks. These systems… 
Highly Cited
2005
Highly Cited
2005
Theoretical basis for intrusion detection
Intrusion detection has become an indispensable defense line in the information security infrastructure. However, every intrusion… 
Highly Cited
2003
Highly Cited
2003
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for… 
2003
2003
Linear static analysis and finite element modeling for laminated composite plates using third order shear deformation theory
Highly Cited
2002
Highly Cited
2002
Soft actuator for robotic applications based on dielectric elastomer: quasi-static analysis
In this paper a new soft actuator based on dielectric elastomer is proposed. The actuator, called an antagonistically-driven… 
1996
1996
An integrated object-oriented Petri net paradigm for manufacturing control systems
A new manufacturing control software development methodology called IOPN (integrated object-oriented Petri net paradigm) is… 
1992
1992
Delay Test: The Next Frontier for LSSD Test Systems
Delay testing, as opposed to static testing introduces the parameter of time as a new variable. Time impacts the way defects… 
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)