An engineering challenge in this area is the extension of our existing algorithms and analysis techniques from functional and imperative programming languages to the object-oriented programming language Java. Typical aspects of this extension would include quantifying dynamic class loading and method lookup costs.