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
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… 
2007
2007
Unequal Growth Codes: Intermediate Performance and Unequal Error Protection for Video Streaming
We investigate the design of fountain codes with good intermediate performance and built-in unequal error protection for low… 
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
2002
2002
Kinematics, workspace and static analyses of 2-DOF flexure parallel mechanism
  • H. PhamI. Chen
  • 7th International Conference on Control…
  • 2002
  • Corpus ID: 15934538
In this paper, we propose a 2-DOF parallel mechanism with flexure hinges. The kinematics and static analyses of this mechanism… 
Highly Cited
2001
Highly Cited
2001
Experimental Testing of the Gigabit IPSec-Compliant Implementations of Rijndael and Triple DES Using SLAAC-1V FPGA Accelerator Board
In this paper, we present the results of the first phase of a project aimed at implementing a full suite of IPSec cryptographic… 
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)