| Publisher | University of New Mexico | ||
|---|---|---|---|
| Format | 237.3KB PDF | Date added | 01 Jan 2007 |
| Topics | Programming Languages, Java, Software Engineering | ||
| Downloads | 8 | ||
Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of finding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying fixpoint algorithms have received comparatively less attention. This paper introduces a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. The algorithm is parametric -in the sense that it is independent of the abstract domain used and it can be applied to different domains as "Plug-ins"-, multivariant, and flow-sensitive.
Did you find this white paper useful?
2 out of 4 users found this white paper useful
Related white papers
Enhancing Development and Performance with C# 2.0 Generics
Generics allow you to define data structures, without committing to actual data types. This results with significant performance boost, and higher quality code, because you get to reuse data processing...
Sentara Healthcare optimizes the health of critical technology
To effectively serve the 2 million residents that turn to them for healthcare services, Sentara Healthcare must coordinate operations across some 112 separate facilities in Virginia and North Carolina, including...
MSDN Webcast: Comparative Windows Code Protection Technologies, Strengths, and Weaknesses (Level 200)
As a developer, one not only have to consider writing great applications with broad appeal, but one also needs to consider how to protect applications so that they are not...
MSDN Webcast: Lighting Up the New Visual Studio 2010 Editor With Rich Extensions (Level 200)
While many of them may know that Microsoft Visual Studio 2010 comes with a new extensible editor based on Windows Presentation Foundation (WPF), does one know why one should care?...
MSDN Webcast: Got Memory Leaks? Find Errors Using Intel Parallel Studio (Level 300)
Discover how easy it is to detect challenging memory errors by taking advantage of the power of Microsoft Visual Studio 2010 and Intel Parallel Studio. Intel Parallel Studio is an...
Ajax: For Graphics-Intensive Web Applications
Ajax (which stands for asynchronous JavaScript and XHTML) is not a technology per se, but rather a design approach for Web applications. Ajax improves the user's Web application experience while...
Numerical Library Provider Realizes Major Performance Gains by Parallelizing Its Code
Visual Numerics needed a way to efficiently parallelize its C# numerical library software - and thus realized the performance gains made possible by today's multicore processors. The company continues to...
