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… 
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… 
2009
2009
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed… 
2008
2008
Inevitability Mechanisms for Software Transactional Memory
Transactional Memory simplifies parallel programming by eliminating the use of locks to protect concurrent accesses to shared… 
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
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… 
1998
1998
Design and static testing of a trailing-edge flap actuator with piezostacks for a rotor blade
This paper presents the development of an actuator for a trailing edge flap on a full-scale helicopter rotor blade using a high… 
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… 
1996
1996
A unique ducted fan test bed for active noise control and aeroacoustics research
This paper describes a unique, large diameter, low speed, axial fan test bed with an externally supported duct. This fan can be… 
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)