Tobias Blaschke d7f0d07122 Create Conponent instances in clinit		2014-04-11 17:53:14 +02:00
..
parameters	Added specialized instantiators.	2014-04-11 17:53:13 +02:00
structure	InducedCFG/GoTo: Handle basic block boundarys	2014-04-11 17:53:13 +02:00
stubs	Flatten Android-Component instances	2014-04-11 17:53:13 +02:00
AndroidModel.java	Added specialized instantiators.	2014-04-11 17:53:13 +02:00
AndroidModelClass.java	Create Conponent instances in clinit	2014-04-11 17:53:14 +02:00
IntentModel.java	Add IntentModel for starting the analysis at an Intent	2014-04-11 17:53:13 +02:00
MicroModel.java	Android Intents: add special context	2014-04-11 17:53:11 +02:00
MiniModel.java	Android-Intents: context-free overrides	2014-04-11 17:53:11 +02:00
package-info.java	Build basic Android-Livecycle (sequential)	2014-04-11 17:53:11 +02:00