4716 search results - page 106 / 944 » Iterative-free program analysis |
119
click to vote
ICSE
2012
IEEE-ACM
13 years 8 days ago
2012
IEEE-ACM
—Software reuse through Application Programming Interfaces (APIs) is an integral part of software development. The functionality offered by an API is not always accessed uniforml...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
ICISS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
184
click to vote
Book
"This book contains a detailed analysis of the International Standard for the C language"
137
click to vote
DAC
2005
ACM
15 years 11 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...