Class ICFG.DefaultCallResolutionStrategy

  • Enclosing class:
    ICFG

    public static class ICFG.DefaultCallResolutionStrategy
    extends ICFG.CallResolutionStrategy
    This class uses the default call resolution strategy provided by each toolbox provider For C/C++ and Java this is a class hierarchy analysis
    Author:
    Ben Holland
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getCallGraphRoots()
      Returns the call graph roots
      com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getCallsiteTargets​(com.ensoftcorp.atlas.core.db.graph.Node callsite)
      Returns the potential callsite target functions
      com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getCallSuccessors​(com.ensoftcorp.atlas.core.db.graph.Node function)
      Returns the potential call successors
      java.lang.String getStrategyTagName()
      Returns the call resolution strategy name This name will be used as a tag name for differentiating ICFG edges created by different call resolution strategies
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • CALL_RESOLUTION_STRATEGY_TAG

        public static final java.lang.String CALL_RESOLUTION_STRATEGY_TAG
        See Also:
        Constant Field Values
    • Constructor Detail

      • DefaultCallResolutionStrategy

        public DefaultCallResolutionStrategy()