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 Tabnine
}

 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

Running tasks concurrently on multiple threads
setScale (BigDecimal)
setRequestProperty (URLConnection)
getSupportFragmentManager (FragmentActivity)
FileInputStream (java.io)
An input stream that reads bytes from a file. File file = ...finally if (in != null) in.clos
FileReader (java.io)
A specialized Reader that reads from a file in the file system. All read requests made by calling me
InetAddress (java.net)
An Internet Protocol (IP) address. This can be either an IPv4 address or an IPv6 address, and in pra
UUID (java.util)
UUID is an immutable representation of a 128-bit universally unique identifier (UUID). There are mul
Reference (javax.naming)
IOUtils (org.apache.commons.io)
General IO stream manipulation utilities. This class provides static utility methods for input/outpu
Top 12 Jupyter Notebook Extensions

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