soot.FastHierarchy.resolveConcreteDispatch java code examples

Common ways to obtain FastHierarchy

private void myMethod () {
 FastHierarchy f =Scene.v().getOrMakeFastHierarchy()
Scene.v().getFastHierarchy()
new FastHierarchy()
Smart code suggestions by Codota
}

 s.remove(c);
 if (!c.isInterface() && !c.isAbstract() && canStoreClass(c, declaringClass)) {
  SootMethod concreteM = resolveConcreteDispatch(c, m);
  if (concreteM != null) {
   ret.add(concreteM);
 continue;
SootMethod concreteM = resolveConcreteDispatch(concreteClass, m);
if (concreteM != null) {
 ret.add(concreteM);
SootMethod concreteM = resolveConcreteDispatch(rtObject.getSootClass(), m);
if (concreteM != null) {
 ret.add(concreteM);

 s.remove(c);
 if (!c.isInterface() && !c.isAbstract() && canStoreClass(c, declaringClass)) {
  SootMethod concreteM = resolveConcreteDispatch(c, m);
  if (concreteM != null) {
   ret.add(concreteM);
 concreteM = resolveConcreteDispatch(concreteClass, m);
} catch (Exception e) {
 concreteM = null;
SootMethod concreteM = null;
try {
 concreteM = resolveConcreteDispatch(RefType.v("java.lang.Object").getSootClass(), m);
} catch (Exception e) {
 concreteM = null;

 tgts.add(hierarchy.resolveConcreteDispatch(((RefType) t).getSootClass(), callee_signature));
} catch (Exception e) {
 logger.debug(e.getMessage(), e);

/** Returns the target for the given SpecialInvokeExpr. */
public SootMethod resolveSpecialDispatch(SpecialInvokeExpr ie, SootMethod container) {
 SootMethod target = ie.getMethod();
 /*
  * This is a bizarre condition! Hopefully the implementation is correct. See VM Spec, 2nd Edition, Chapter 6, in the
  * definition of invokespecial.
  */
 if (target.getName().equals("<init>") || target.isPrivate()) {
  return target;
 } else if (isSubclass(target.getDeclaringClass(), container.getDeclaringClass())) {
  return resolveConcreteDispatch(container.getDeclaringClass(), target);
 } else {
  return target;
 }
}

   = fastHierarchy.resolveConcreteDispatch(concreteType.getSootClass(), iie.getMethod());
 return Collections.singleton(singleTargetMethod);
} else {

    if( !c.isInterface() && !c.isAbstract()
        && canStoreClass( c, declaringClass ) ) {
      SootMethod concreteM = resolveConcreteDispatch( c, m );
      if( concreteM != null )
        ret.add( concreteM );
    continue;
  SootMethod concreteM = resolveConcreteDispatch( concreteClass, m );
  if( concreteM != null ) ret.add( concreteM );
} else if( t instanceof ArrayType ) {
  SootMethod concreteM = resolveConcreteDispatch( 
      RefType.v( "java.lang.Object" ).getSootClass(), m );
  if( concreteM != null ) ret.add( concreteM );

    if( !c.isInterface() && !c.isAbstract()
        && canStoreClass( c, declaringClass ) ) {
      SootMethod concreteM = resolveConcreteDispatch( c, m );
      if( concreteM != null )
        ret.add( concreteM );
    continue;
  SootMethod concreteM = resolveConcreteDispatch( concreteClass, m );
  if( concreteM != null ) ret.add( concreteM );
} else if( t instanceof ArrayType ) {
  SootMethod concreteM = resolveConcreteDispatch( 
      RefType.v( "java.lang.Object" ).getSootClass(), m );
  if( concreteM != null ) ret.add( concreteM );

  if( !c.isInterface() && !c.isAbstract()
      && canStoreClass( c, declaringClass ) ) {
    SootMethod concreteM = resolveConcreteDispatch( c, m );
    if( concreteM != null )
      ret.add( concreteM );
  concreteM = resolveConcreteDispatch( concreteClass, m );
} catch( Exception e ) {
  concreteM = null;
SootMethod concreteM = null;
try {
  concreteM = resolveConcreteDispatch( 
    RefType.v( "java.lang.Object" ).getSootClass(), m );
} catch( Exception e ) {

  if( !c.isInterface() && !c.isAbstract()
      && canStoreClass( c, declaringClass ) ) {
    SootMethod concreteM = resolveConcreteDispatch( c, m );
    if( concreteM != null )
      ret.add( concreteM );
  concreteM = resolveConcreteDispatch( concreteClass, m );
} catch( Exception e ) {
  concreteM = null;
SootMethod concreteM = null;
try {
  concreteM = resolveConcreteDispatch( 
    RefType.v( "java.lang.Object" ).getSootClass(), m );
} catch( Exception e ) {

/** Returns the target for the given SpecialInvokeExpr. */
public SootMethod resolveSpecialDispatch(SpecialInvokeExpr ie, SootMethod container)
{
  SootMethod target = ie.getMethod();
  /* This is a bizarre condition!  Hopefully the implementation is correct.
    See VM Spec, 2nd Edition, Chapter 6, in the definition of invokespecial. */
  if (target.getName().equals("<init>") || target.isPrivate())
    return target;
  else if (isSubclass(target.getDeclaringClass(), container.getDeclaringClass()))
    return resolveConcreteDispatch(container.getDeclaringClass(), target );
  else
    return target;
}

/** Returns the target for the given SpecialInvokeExpr. */
public SootMethod resolveSpecialDispatch(SpecialInvokeExpr ie, SootMethod container)
{
  SootMethod target = ie.getMethod();
  /* This is a bizarre condition!  Hopefully the implementation is correct.
    See VM Spec, 2nd Edition, Chapter 6, in the definition of invokespecial. */
  if (target.getName().equals("<init>") || target.isPrivate())
    return target;
  else if (isSubclass(target.getDeclaringClass(), container.getDeclaringClass()))
    return resolveConcreteDispatch(container.getDeclaringClass(), target );
  else
    return target;
}

Javadoc

Given an object of actual type C (o = new C()), returns the method which will be called on an o.f() invocation.

Popular methods of FastHierarchy

canStoreType
Given an object of declared type child, returns true if the object can be stored in a variable of ty
isSubclass
Return true if class child is a subclass of class parent, neither of them being allowed to be interf
<init>
Constructs a hierarchy from the current scene.
canStoreClass
Given an object of declared type child, returns true if the object can be stored in a variable of ty
dfsVisit
getAllImplementersOfInterface
For an interface parent (MUST be an interface), returns set of all implementers of it but NOT their
getAllSubinterfaces
For an interface parent (MUST be an interface), returns set of all subinterfaces.
getSubclassesOf
isVisible
Returns true if the method m is visible from code in the class from.
put
canStoreClassClassic
"Classic" implementation using the intuitive approach (without using Interval) to check whetherchild
resolveAbstractDispatch
Given an object of declared type C, returns the methods which could be called on an o.f() invocation

Popular in Java

Finding current android device location
addToBackStack (FragmentTransaction)
setRequestProperty (URLConnection)
compareTo (BigDecimal)
Compares this BigDecimal with the specified BigDecimal. Two BigDecimal objects that are equal in val
BorderLayout (java.awt)
A border layout lays out a container, arranging and resizing its components to fit in five regions:
Color (java.awt)
The Color class is used encapsulate colors in the default sRGB color space or colors in arbitrary co
Kernel (java.awt.image)
SecureRandom (java.security)
This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
MessageFormat (java.text)
MessageFormat provides a means to produce concatenated messages in language-neutral way. Use this to
Stream (java.util.stream)
A sequence of elements supporting sequential and parallel aggregate operations. The following exampl

How to use resolveConcreteDispatchmethodin soot.FastHierarchy

Best Java code snippets using soot.FastHierarchy.resolveConcreteDispatch (Showing top 11 results out of 315)

How to use
resolveConcreteDispatch
method
in
soot.FastHierarchy