Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,283,957 papers from all fields of science
Search
Sign In
Create Free Account
Static program analysis
Known as:
Static testing
, Static analyzer
, Code analysis
Expand
Static program analysis is the analysis of computer software that is performed without actually executing programs (analysis performed on executing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ANSI/ISO C Specification Language
ASF+SDF Meta-Environment
Abstract interpretation
Clang
Expand
Broader (1)
Software review
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A Malicious Application Detection Framework using Automatic Feature Extraction Tool on Android Market
Dong-uk Kim
,
Jeongsik Kim
,
Sehun Kim
2013
Corpus ID: 14568971
because android phones are widespread and steadily gaining popularity. Unfortunately, such phenomenon draws attention to…
Expand
Highly Cited
2012
Highly Cited
2012
Comparative Study of the Static and Dynamic Analysis of Multi-Storey Irregular Building
B. Bagheri
,
E. S. Firoozabad
,
M. Yahyaei
2012
Corpus ID: 23212495
As the world move to the accomplishment of Performance Based Engineering philosophies in seismic design of Civil Engineering…
Expand
2009
2009
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
Jia Zou
,
Slobodan Matic
,
Edward A. Lee
,
T. Feng
,
P. Derler
15th IEEE Real-Time and Embedded Technology and…
2009
Corpus ID: 2865936
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed…
Expand
2004
2004
Hardware Support for Dynamic Reconfiguration in Reconfigurable SoC Architectures
B. Griese
,
E. Vonnahme
,
Mario Porrmann
,
U. Rückert
International Conference on Field-Programmable…
2004
Corpus ID: 39740854
Dynamic reconfiguration of digital hardware enables systems to adapt to changing demands of the applications and of the…
Expand
Review
1999
Review
1999
Detection of Malicious Code in Cots Software: A Short Survey
J. Bergeron
,
M. Debbabi
1999
Corpus ID: 43766910
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of…
Expand
1996
1996
An integrated object-oriented Petri net paradigm for manufacturing control systems
Li-Chih Wang
1996
Corpus ID: 56589266
A new manufacturing control software development methodology called IOPN (integrated object-oriented Petri net paradigm) is…
Expand
1995
1995
A single flux quantum shift register operating at 65 K
M. Forrester
,
J. Przybysz
,
J. Talvacchio
,
Junmo Kang
,
A. Davidson
,
J. Gavaler
IEEE transactions on applied superconductivity
1995
Corpus ID: 39832781
We report the fabrication and quasi-static testing of a two-stage, high-temperature superconducting, Single Flux Quantum shift…
Expand
1994
1994
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs
Tor E. Jeremiassen
,
S. Eggers
Parallel Architectures and Compilation Techniques
1994
Corpus ID: 2396738
Many coarse-grained, explicitly parallel programs execute in phases delimited by barriers to preserve sets of cross process data…
Expand
1993
1993
The TXL Programming Language Syntax and Informal Semantics
J. Cordy
,
I. Carmichael
1993
Corpus ID: 59793280
This report describes TXL, a programming language specifically designed to support transformational programming. The basic…
Expand
1992
1992
Compiler support for object-oriented real-time software
P. Gopinath
,
T. Bihari
,
Rajiv Gupta
IEEE Software
1992
Corpus ID: 3586626
The suitability of compile-time code analysis and rearrangement to improve the predictability of object-oriented software in…
Expand