Class SystemServiceModel

java.lang.Object
com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel
com.ibm.wala.dalvik.ipa.callgraph.androidModel.stubs.SystemServiceModel
All Implemented Interfaces:
IClassHierarchyDweller

public class SystemServiceModel extends AndroidModel
This is generates a dummy for the call to an external Activity.

Is used by the IntentContextInterpreter if an Intent is marked as beeing external.

Since:
2013-10-15
Author:
Tobias Blaschke <code@tobiasblaschke.de>
See Also:
  • Field Details

    • name

      public final Atom name
  • Constructor Details

  • Method Details

    • selectEntryPoint

      protected boolean selectEntryPoint(AndroidEntryPoint ep)
      Do not call any EntryPoint.

      Overridden by models to restraint Entrypoints.

      For each entrypoint this method is queried if it should be part of the model.

      Overrides:
      selectEntryPoint in class AndroidModel
      Parameters:
      ep - The EntryPoint in question
      Returns:
      if the given EntryPoint shall be part of the model
    • getMethod

      public SummarizedMethod getMethod() throws CancelException
      Description copied from class: AndroidModel
      Building the SummarizedMethod is delayed upon the first class to this method.
      Overrides:
      getMethod in class AndroidModel
      Returns:
      the method for this model as generated by build()
      Throws:
      CancelException
    • build

      protected void build(Atom name, Collection<? extends AndroidEntryPoint> entrypoints)
      Description copied from class: AndroidModel
      Generate the SummarizedMethod for the model (in this.model).

      The actual generated model depends on the on the properties of this overloaded class. Most generated methods should reside in the AndroidModelClass and take AndroidComponents as well as some parameters (these marked REUSE) to the EntryPoints of the components.

      Use AndroidModel.getMethod() to retrieve the method generated here or getMethodAs to get a version which is wrapped to another signature.

      Overrides:
      build in class AndroidModel
      Parameters:
      name - The name the generated method will be known as
      entrypoints - The functions to call additionally to boot-code and XXX