4722 search results - page 612 / 945 » Representation-independent program analysis |
183
click to vote
WCRE
2006
IEEE
16 years 19 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
168
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
163
Voted
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
195
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
165
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...