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

Reading from database using SQL prepared statement
setRequestProperty (URLConnection)
orElseThrow (Optional)
Return the contained value, if present, otherwise throw an exception to be created by the provided s
getOriginalFilename (MultipartFile)
Return the original filename in the client's filesystem.This may contain path information depending
Time (java.sql)
Java representation of an SQL TIME value. Provides utilities to format and parse the time's represen
Enumeration (java.util)
A legacy iteration interface.New code should use Iterator instead. Iterator replaces the enumeration
Iterator (java.util)
An iterator over a sequence of objects, such as a collection.If a collection has been changed since
Callable (java.util.concurrent)
A task that returns a result and may throw an exception. Implementors define a single method with no
Modifier (javassist)
The Modifier class provides static methods and constants to decode class and member access modifiers
FileUtils (org.apache.commons.io)
General file manipulation utilities. Facilities are provided in the following areas: * writing to a
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