Assumption Hierarchy for a CHA Call Graph Construction Algorithm

Download Now
Provided by: The Ohio Society of CPAs
Topic: Big Data
Format: PDF
Method call graphs are integral components of many interprocedural static analyses which are widely used to aid in the development and maintenance of software. Unfortunately, the existences of certain dynamic features in modern programming languages, such as Java or C++, can lead to either unsoundness or imprecision in statically constructed call graphs. The authors investigate a hierarchy of assumptions that a Class Hierarchy Analysis (CHA) call graph construction algorithm can make about dynamic features in Java. Each successive level of the assumption hierarchy introduces new relaxations of suppositions.
Download Now

Find By Topic