Class ClassicHybridTypeAnalysis


  • public class ClassicHybridTypeAnalysis
    extends CGAnalysis
    Performs a Hybrid Type Analysis (XTA), which is a modification to RTA that combines XTA and MTA as discussed in the paper: Scalable Propagation-Based Call Graph Construction Algorithms by Frank Tip and Jens Palsberg. In terms of call graph construction precision this algorithm ranks better than XTA but worse than a 0-CFA. Reference: http://web.cs.ucla.edu/~palsberg/paper/oopsla00.pdf
    Author:
    Ben Holland
    • Method Detail

      • getCallEdgeTags

        public java.lang.String[] getCallEdgeTags()
        Description copied from class: CGAnalysis
        Returns the set of tags applied to edges during call graph construction
        Specified by:
        getCallEdgeTags in class CGAnalysis
        Returns:
      • getPerControlFlowEdgeTags

        public java.lang.String[] getPerControlFlowEdgeTags()
        Description copied from class: CGAnalysis
        Returns the set of tags applied to per control flow edges during call graph construction
        Specified by:
        getPerControlFlowEdgeTags in class CGAnalysis
        Returns:
      • getName

        public java.lang.String getName()
        Specified by:
        getName in class CGAnalysis