Class AndroidModel
- All Implemented Interfaces:
IClassHierarchyDweller
- Direct Known Subclasses:
ExternalModel
,IntentModel
,MicroModel
,MiniModel
,SystemServiceModel
,UnknownTargetModel
This method models the lifecycle of an Android Application. By doing so it calls all AndroidEntryPoints set in the AnalysisOptions.
Between the calls to the AndroidEntryPoints special behavior is inserted. You can change that behavior by implementing an AbstractAndroidModel or set one of the existing ones in the AnalysisOptions.
Additionally care of how types are instantiated is taken. You can change this behavior by setting the IInstanciationBehavior in the AnalysisOptions.
Smaller Models exist: * MiniModel calls all components of a specific type (for example all Activities) * MicroModel calls a single specific component * ExternalModel doesn't call anything but fiddles with the data on its own
All these Models are added to a synthetic AndroidModelClass.
- Author:
- Tobias Blaschke <code@tobiasblaschke.de>
-
Field Summary
Modifier and TypeFieldDescriptionprotected VolatileMethodSummary
protected boolean
protected IAnalysisCacheView
protected IClassHierarchy
protected static boolean
protected IClass
protected SummarizedMethod
protected AnalysisOptions
protected final AnalysisScope
-
Constructor Summary
ConstructorDescriptionAndroidModel
(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache) -
Method Summary
Modifier and TypeMethodDescriptionprotected void
Generates the model on a sub-set of Entrypoints.protected void
build
(Atom name, Collection<? extends AndroidEntryPoint> entrypoints) Generate the SummarizedMethod for the model (in this.model).The class the Method representing this Model resides in.Building the SummarizedMethod is delayed upon the first class to this method.getMethodAs
(MethodReference asMethod, TypeReference caller, IntentStarters.StartInfo info, CGNode callerNd) Get method of the Model in an other Signature.Creates an "encapsulated" version of the model.getName()
boolean
isStatic()
protected boolean
Overridden by models to restraint Entrypoints.toString()
-
Field Details
-
mRef
-
cha
-
options
-
cache
-
scope
-
body
-
doBoot
protected static boolean doBoot -
klass
-
built
protected boolean built -
model
-
-
Constructor Details
-
AndroidModel
-
-
Method Details
-
build
Generates the model on a sub-set of Entrypoints.Asks
selectEntryPoint(AndroidEntryPoint)
for each EntryPoint known to the AndroidEntryPointManager, if the EntryPoint should be included in the model. Then callsbuild(Atom, Collection)
on these.- Parameters:
name
- The name the generated method will be known as- Throws:
CancelException
-
getName
-
isStatic
public boolean isStatic() -
getReturnType
-
getDescriptor
- Throws:
CancelException
-
build
protected void build(Atom name, Collection<? extends AndroidEntryPoint> entrypoints) throws CancelException 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
getMethod()
to retrieve the method generated here or getMethodAs to get a version which is wrapped to another signature.- Parameters:
name
- The name the generated method will be known asentrypoints
- The functions to call additionally to boot-code and XXX- Throws:
CancelException
-
getMethod
Building the SummarizedMethod is delayed upon the first class to this method.- Returns:
- the method for this model as generated by build()
- Throws:
CancelException
-
getDeclaringClass
The class the Method representing this Model resides in.Most likely the AndroidModelClass.
-
selectEntryPoint
Overridden by models to restraint Entrypoints.For each entrypoint this method is queried if it should be part of the model.
- Parameters:
ep
- The EntryPoint in question- Returns:
- if the given EntryPoint shall be part of the model
-
getMethodAs
public SummarizedMethod getMethodAs(MethodReference asMethod, TypeReference caller, IntentStarters.StartInfo info, CGNode callerNd) throws CancelException Get method of the Model in an other Signature.Generates a new Method that wraps the model so it can be called using the given Signature. Flags control the behavior of that wrapper.
Arguments to the wrapping function are "connected through" to the model based on their type only, so if there are multiple Arguments of the same type this may yield to unexpected connections.
This method is called by the IntentCoentextInterpreter.
- Parameters:
asMethod
- The signature to generatecaller
- The class of the caller; only needed depending on the flagsinfo
- The IntentSterter usedcallerNd
- CGNoodle of the caller - may be null- Returns:
- A wrapper that calls the model
- Throws:
CancelException
- See Also:
-
getMethodEncap
Creates an "encapsulated" version of the model.The generated method will take no parameters. New instances for REUSE-Parameters will be created.
This variant is useful for the start of an analysis.
- Throws:
CancelException
-
getClassHierarchy
- Specified by:
getClassHierarchy
in interfaceIClassHierarchyDweller
-
toString
-