Package com.ibm.wala.cast.js.ipa.callgraph

Class JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

  • All Implemented Interfaces:
    com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
    Enclosing class:
    JSSSAPropagationCallGraphBuilder
    public static class JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl
extends com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor  

      • Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

        com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

      • Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

        com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.HModel, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor

    • Field Summary

      • Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

        builder, pointerKeys

      • Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

        instanceKeys

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor​(com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey lpk)  

      • Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

        makeHeapModel

      • Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

        computeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toString

      • Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

        getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Method Detail

      • makeImplicitPointsToVisitor

        protected com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor​(com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey lpk)
        Overrides:
        makeImplicitPointsToVisitor in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl