Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 240,903,140 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
,
Jeong-Tae Kim
,
Sehun Kim
2013
Corpus ID: 14568971
because android phones are widespread and steadily gaining popularity. Unfortunately, such phenomenon draws attention to…
Expand
2013
2013
Pushover Analysis of Medium Rise Multi-Story RCC Frame With and Without Vertical Irregularity
Mohommed Anwaruddin
,
Md Akberuddin
,
M. Zameeruddin
,
M. Saleemuddin
2013
Corpus ID: 295624
The performance of a structural system can be evaluated resorting to non-linear static analysis. This involves the estimation of…
Expand
2012
2012
Efficient Detection of Malicious Web Pages Using High-Interaction Client Honeypots
HongGeun Kim
,
Dongjin Kim
,
Seong-je Cho
,
Moonju Park
,
Minkyu Park
Journal of information science and engineering
2012
Corpus ID: 15837513
Drive-by-download attacks are client-side attacks that originate from web servers clients visit. High-interaction client…
Expand
2011
2011
Detection of Smartphone Malware
Aubrey-Derrick Schmidt
2011
Corpus ID: 21113252
Due to technological progress, mobile phones evolved into technically and functionally sophisticated devices called smartphones…
Expand
2008
2008
FORMULA SAE RACE CAR ANALYSIS : SIMULATION & TESTING OF THE ENGINE AS A STRUCTURAL
M. Abrams
2008
Corpus ID: 16981028
Through simulation and testing, the obje ctive of this report was to determine the methods and validate results for using an…
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
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