785 search results - page 38 / 157 » Static Analysis of Android Programs |
112
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
113
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
134
click to vote
WCRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
135
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
107
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...