Class ExceptionTypeAnalysis


  • public class ExceptionTypeAnalysis
    extends CGAnalysis
    Performs an Exception Type Analysis (ETA), which is a modification to RTA that considers inter-procedural exceptional flows. In terms of call graph construction precision this algorithm ranks better than RTA 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