Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,514 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
2012
2012
K-Periodic schedules for evaluating the maximum throughput of a Synchronous Dataflow graph
Bruno Bodin
,
Alix Munier Kordon
,
B. Dinechin
International Conference / Workshop on Embedded…
2012
Corpus ID: 15281517
Synchronous Dataflow graphs, introduced by Lee and Messerschmitt in 1987, are a well-known formalism commonly used to model data…
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
1996
1996
A unique ducted fan test bed for active noise control and aeroacoustics research
L. J. Heidelberg
,
D. G. Hall
,
J. Bridges
,
M. Nallasamy
1996
Corpus ID: 17943725
This paper describes a unique, large diameter, low speed, axial fan test bed with an externally supported duct. This fan can be…
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
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