Extracting library-based object-oriented applications

Authors:
Peter F. Sweeney;Frank Tip
Affiliations:
IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY;IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY
Venue:
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Year:
2000

Citing 15
Cited 13

Reducing indirect function call overhead in C++ programs

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sifting out the gold: delivering compact applications from an exploratory object-oriented programming environment

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Simple and effective analysis of statically-typed object-oriented programs

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Class hierarchy specialization

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of dead data members in C++ applications

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection

IEEE Transactions on Software Engineering
Lightweight extraction of object models from bytecode

Proceedings of the 21st international conference on Software engineering
Practical experience with an application extractor for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Scalable propagation-based call graph construction algorithms

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An analysis of inline substitution for a structured programming language

Communications of the ACM
Inside Servlets: Server-Side Programming for the Java Platform with Other

Inside Servlets: Server-Side Programming for the Java Platform with Other
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Eliminating Virtual Function Calls in C++ Programs

ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Fast and Effective Optimization of Statically Typed Object-Oriented

Fast and Effective Optimization of Statically Typed Object-Oriented

Scalable propagation-based call graph construction algorithms

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Understanding class hierarchies using concept analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-based analysis and applications

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Practical extraction techniques for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries

CC '01 Proceedings of the 10th International Conference on Compiler Construction
Fragment class analysis for testing of polymorphism in Java software

Proceedings of the 25th International Conference on Software Engineering
Extracting library-based Java applications

Communications of the ACM - Program compaction
Fragment Class Analysis for Testing of Polymorphism in Java Software

IEEE Transactions on Software Engineering
Tactics for minimal interference from class loading in real-time Java™

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Slim VM: optimistic partial program loading for connected embedded Java virtual machines

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Dimensions of precision in reference analysis of object-oriented programming languages

CC'03 Proceedings of the 12th international conference on Compiler construction
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders

Proceedings of the 33rd International Conference on Software Engineering
“Slimming” a Java virtual machine by way of cold code removal and optimistic partial program loading

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Extraction tools perform a static whole-program analysis to determine unused functionality in applications in order to reduce the time required to download applications. We have identified a number of scenarios where extraction tools require information beyond what can be inferred through static analysis: software distributions other than complete applications, the use of reflection, and situations where an application uses separately developed class libraries. This paper explores these issues, and introduces a modular specification language for expressing the information required for extraction. We implemented this language in the context of Jax, an industrial-strength application extractor for Java, and present a small case study in which different extraction scenarios are applied to a commercially available library-based application.