├── LICENSE ├── README.md └── framework ├── .classpath ├── .gitignore ├── .project ├── .settings └── org.eclipse.core.resources.prefs ├── AndroidCallbacks.txt ├── additionalAppClasses └── de │ └── tu_darmstadt │ └── sse │ └── additionalappclasses │ ├── ComponentCallerService.java │ ├── HookingHelperApplication.java │ ├── classloading │ └── InterceptingClassLoader.java │ ├── crashreporter │ └── CrashReporter.java │ ├── hookdefinitions │ ├── AnalysisDependentHookDefinitions.java │ ├── ConditionalHookDefinitions.java │ ├── DexFileExtractorHookDefinitions.java │ ├── Hook.java │ ├── PersistentHookDefinitions.java │ └── SimpleBooleanReturnDefinitions.java │ ├── hooking │ ├── AbstractFieldHookAfter.java │ ├── AbstractMethodHook.java │ ├── AbstractMethodHookAfter.java │ ├── AbstractMethodHookBefore.java │ ├── AnalysisDependentFieldHookAfter.java │ ├── AnalysisDependentMethodHookAfter.java │ ├── AnalysisDependentMethodHookBefore.java │ ├── Condition.java │ ├── ConditionalMethodHookAfter.java │ ├── ConditionalMethodHookBefore.java │ ├── DexFileExtractorHookBefore.java │ ├── DummyValue.java │ ├── FieldHookInfo.java │ ├── HookInfo.java │ ├── Hooker.java │ ├── MethodHookInfo.java │ ├── ParameterConditionValueInfo.java │ ├── PersistentFieldHookAfter.java │ ├── PersistentMethodHookAfter.java │ ├── PersistentMethodHookBefore.java │ └── SimpleBooleanHookAfter.java │ ├── pathexecution │ └── PathExecutor.java │ ├── reflections │ └── DummyReflectionClass.java │ ├── tracing │ ├── BytecodeLogger.java │ ├── ITracingServiceInterface.java │ └── TracingService.java │ ├── util │ ├── FileUtils.java │ ├── UtilAddContact.java │ └── UtilHook.java │ └── wrapper │ └── DummyWrapper.java ├── android-jars ├── android19_core_no_stub.jar └── android19_framework_no_stub.jar ├── ant.settings.ssebuild ├── ant.settings.template ├── build.xml ├── files ├── analysesNames.txt ├── blacklistedAPKs.txt ├── dynamicValueMethods.txt ├── metricsNames.txt └── randomValues.txt ├── fuzzyFiles ├── db.db ├── dex.dex ├── properties.properties └── text.text ├── hooking ├── armeabi │ └── libZHook.so ├── x86 │ └── libZHook.so └── zhook.jar ├── libs ├── commons-cli-1.2.jar ├── commons-codec-1.10.jar ├── commons-io-2.4.jar ├── ddmlib-22.2.0.jar ├── ddmlib-24.3.0.jar ├── guava-19.0.jar ├── jdktools.jar ├── junit.jar └── zhook.jar ├── sharedClasses └── de │ └── tu_darmstadt │ └── sse │ └── sharedclasses │ ├── SharedClassesSettings.java │ ├── crashreporter │ ├── CrashReportItem.java │ └── CrashReporterException.java │ ├── dynamiccfg │ ├── AbstractDynamicCFGItem.java │ ├── MethodCallItem.java │ ├── MethodEnterItem.java │ ├── MethodLeaveItem.java │ └── MethodReturnItem.java │ ├── networkconnection │ ├── CloseConnectionRequest.java │ ├── DecisionRequest.java │ ├── FileFormat.java │ ├── IClientRequest.java │ ├── NetworkConnectionInitiator.java │ ├── ServerCommunicator.java │ ├── ServerResponse.java │ └── serializables │ │ ├── BinarySerializableObject.java │ │ ├── FileFuzzingSerializableObject.java │ │ └── SignatureSerializableObject.java │ ├── tracing │ ├── DexFileTransferTraceItem.java │ ├── DynamicIntValueTraceItem.java │ ├── DynamicStringValueTraceItem.java │ ├── DynamicValueTraceItem.java │ ├── FileBasedTracingUtils.java │ ├── PathTrackingTraceItem.java │ ├── TargetReachedTraceItem.java │ ├── TimingBombTraceItem.java │ └── TraceItem.java │ └── util │ ├── DefaultHashMap.java │ ├── NetworkSettings.java │ └── Pair.java └── src └── de └── tu_darmstadt └── sse ├── EnvironmentResult.java ├── FrameworkOptions.java ├── Main.java ├── NetworkSettings.java ├── UtilMain.java ├── apkspecific ├── CodeModel │ ├── CodePosition.java │ ├── CodePositionManager.java │ ├── CodePositionWriter.java │ └── StaticCodeIndexer.java └── UtilApk.java ├── appinstrumentation ├── Instrumenter.java ├── UtilInstrumenter.java └── transformer │ ├── AbstractInstrumentationTransformer.java │ ├── ClassLoaderTransformer.java │ ├── CodePositionTracking.java │ ├── ConditionTracking.java │ ├── CrashReporterInjection.java │ ├── DummyMethodHookTransformer.java │ ├── DynamicCallGraphTracking.java │ ├── DynamicValueTransformer.java │ ├── GlobalInstanceTransformer.java │ ├── GoalReachedTracking.java │ ├── InstrumentedCodeTag.java │ ├── PathExecutionTransformer.java │ └── TimingBombTransformer.java ├── bootstrap ├── AnalysisTask.java ├── AnalysisTaskManager.java ├── DexFile.java ├── DexFileManager.java └── InstanceIndependentCodePosition.java ├── commandlinelogger ├── LoggerHelper.java └── MyLevel.java ├── decisionmaker ├── DecisionMaker.java ├── DecisionMakerConfig.java ├── DeterministicRandom.java ├── UtilDecisionMaker.java ├── analysis │ ├── AnalysisDecision.java │ ├── EasyTaintWrapperSource.txt │ ├── FakeAnalysis.java │ ├── FuzzyAnalysis.java │ ├── dynamicValues │ │ ├── DynamicIntValue.java │ │ ├── DynamicStringValue.java │ │ ├── DynamicValue.java │ │ ├── DynamicValueAnalysis.java │ │ ├── DynamicValueContainer.java │ │ ├── DynamicValueInformation.java │ │ └── DynamicValueUpdateHandler.java │ ├── filefuzzer │ │ ├── FileFuzzer.java │ │ ├── FileFuzzerResultsAvailableHandler.java │ │ ├── SourcesAndSinks.txt │ │ └── UtilFileFuzzer.java │ ├── filevalues │ │ └── FileValuesAnalysis.java │ ├── integritycheck │ │ └── AntiIntegrityCheckFuzzyAnalysis.java │ ├── randomFuzzer │ │ ├── RandomPrimitives.java │ │ └── SimpleRandomFuzzer.java │ ├── simpleBooleanAnalysis │ │ └── SimpleBooleanAnalysis.java │ ├── smartconstantdataextractor │ │ ├── DataFlowObject.java │ │ ├── NotYetSupportedException.java │ │ ├── SMTPreparationPhase.java │ │ ├── SMTUpdateInfo.java │ │ ├── SmartConstantDataExtractorFuzzyAnalysis.java │ │ └── SourcesAndSinks.txt │ ├── sourceconstantfuzzer │ │ ├── ConstantContainer.java │ │ └── SourceConstantFuzzer.java │ ├── stringtotypeextractor │ │ ├── SourcesAndSinks.txt │ │ ├── StringToPrimitiveTypeExtractorDataflowHandler.java │ │ └── StringToPrimitiveTypeFuzzer.java │ └── symbolicexecution │ │ ├── ControlFlowPath.java │ │ ├── FragmentedControlFlowPath.java │ │ ├── JimpleExprVisitorImpl.java │ │ ├── JimpleStmtVisitorImpl.java │ │ ├── SMTConverter.java │ │ ├── SMTExecutor.java │ │ ├── UtilSMT.java │ │ └── datastructure │ │ ├── SMTAssertStatement.java │ │ ├── SMTAssignment.java │ │ ├── SMTBinding.java │ │ ├── SMTBindingValue.java │ │ ├── SMTBooleanEqualsAssignment.java │ │ ├── SMTCharAtMethodCall.java │ │ ├── SMTComplexBinaryOperation.java │ │ ├── SMTConcatMethodCall.java │ │ ├── SMTConstantValue.java │ │ ├── SMTContainsMethodCall.java │ │ ├── SMTEndsWithMethodCall.java │ │ ├── SMTIndexOfMethodCall.java │ │ ├── SMTLengthMethodCall.java │ │ ├── SMTMethodAssignment.java │ │ ├── SMTMethodCall.java │ │ ├── SMTProgram.java │ │ ├── SMTRegexDigitOperation.java │ │ ├── SMTSimpleAssignment.java │ │ ├── SMTSimpleBinaryOperation.java │ │ ├── SMTStartsWithMethodCall.java │ │ ├── SMTStatement.java │ │ ├── SMTSubstringMethodCall.java │ │ ├── SMTUnaryOperation.java │ │ ├── SMTUnaryOperationAssignment.java │ │ ├── SMTValue.java │ │ └── StringMethodCall.java └── server │ ├── SocketServer.java │ ├── ThreadTraceManager.java │ ├── ThreadTraceManagerCreatedHandler.java │ ├── TraceManager.java │ └── history │ ├── ClientHistory.java │ ├── ClientHistoryCreatedHandler.java │ └── GeneticCombination.java ├── dynamiccfg ├── Callgraph.java ├── DynamicCallgraphBuilder.java ├── Edge.java └── utils │ ├── FileUtils.java │ └── MapUtils.java ├── frameworkevents ├── ActivityEvent.java ├── AddContactEvent.java ├── FrameworkEvent.java ├── GenericReceiver.java ├── InstallApkEvent.java ├── KillAppProcessEvent.java ├── OnClickEvent.java ├── PhoneRestartEvent.java ├── PushFilesEvent.java ├── ServiceEvent.java ├── StartActivityEvent.java ├── StartApkEvent.java ├── UninstallAppEvent.java ├── broadcastevents │ ├── FakeBroadcastEvent.java │ ├── IncomingCallEvent.java │ ├── OutgoingCallEvent.java │ ├── RealBroadcastEvent.java │ └── SMSReceivedEvent.java └── manager │ └── FrameworkEventManager.java ├── progressmetric ├── ApproachLevelMetric.java ├── IProgressMetric.java └── SubpathNCoverage.java └── visualization ├── digraph ├── Digraph.java └── Subgraph.java ├── events ├── AbstractPathExecutionEvent.java ├── MethodCalleeEvent.java ├── MethodCallerEvent.java └── ReturnEvent.java └── inputformat ├── AbstractConverter.java └── LogcatInput.java /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/README.md -------------------------------------------------------------------------------- /framework/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/.classpath -------------------------------------------------------------------------------- /framework/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/.gitignore -------------------------------------------------------------------------------- /framework/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/.project -------------------------------------------------------------------------------- /framework/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /framework/AndroidCallbacks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/AndroidCallbacks.txt -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/ComponentCallerService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/ComponentCallerService.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/HookingHelperApplication.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/HookingHelperApplication.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/classloading/InterceptingClassLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/classloading/InterceptingClassLoader.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/crashreporter/CrashReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/crashreporter/CrashReporter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/AnalysisDependentHookDefinitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/AnalysisDependentHookDefinitions.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/ConditionalHookDefinitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/ConditionalHookDefinitions.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/DexFileExtractorHookDefinitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/DexFileExtractorHookDefinitions.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/Hook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/Hook.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/PersistentHookDefinitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/PersistentHookDefinitions.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/SimpleBooleanReturnDefinitions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hookdefinitions/SimpleBooleanReturnDefinitions.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractFieldHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractFieldHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHook.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHookBefore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AbstractMethodHookBefore.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentFieldHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentFieldHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentMethodHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentMethodHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentMethodHookBefore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/AnalysisDependentMethodHookBefore.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/Condition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/Condition.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ConditionalMethodHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ConditionalMethodHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ConditionalMethodHookBefore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ConditionalMethodHookBefore.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/DexFileExtractorHookBefore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/DexFileExtractorHookBefore.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/DummyValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/DummyValue.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/FieldHookInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/FieldHookInfo.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/HookInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/HookInfo.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/Hooker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/Hooker.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/MethodHookInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/MethodHookInfo.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ParameterConditionValueInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/ParameterConditionValueInfo.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentFieldHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentFieldHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentMethodHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentMethodHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentMethodHookBefore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/PersistentMethodHookBefore.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/SimpleBooleanHookAfter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/hooking/SimpleBooleanHookAfter.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/pathexecution/PathExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/pathexecution/PathExecutor.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/reflections/DummyReflectionClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/reflections/DummyReflectionClass.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/BytecodeLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/BytecodeLogger.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/ITracingServiceInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/ITracingServiceInterface.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/TracingService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/tracing/TracingService.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/FileUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/FileUtils.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/UtilAddContact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/UtilAddContact.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/UtilHook.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/util/UtilHook.java -------------------------------------------------------------------------------- /framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/wrapper/DummyWrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/additionalAppClasses/de/tu_darmstadt/sse/additionalappclasses/wrapper/DummyWrapper.java -------------------------------------------------------------------------------- /framework/android-jars/android19_core_no_stub.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/android-jars/android19_core_no_stub.jar -------------------------------------------------------------------------------- /framework/android-jars/android19_framework_no_stub.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/android-jars/android19_framework_no_stub.jar -------------------------------------------------------------------------------- /framework/ant.settings.ssebuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/ant.settings.ssebuild -------------------------------------------------------------------------------- /framework/ant.settings.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/ant.settings.template -------------------------------------------------------------------------------- /framework/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/build.xml -------------------------------------------------------------------------------- /framework/files/analysesNames.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/files/analysesNames.txt -------------------------------------------------------------------------------- /framework/files/blacklistedAPKs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/files/blacklistedAPKs.txt -------------------------------------------------------------------------------- /framework/files/dynamicValueMethods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/files/dynamicValueMethods.txt -------------------------------------------------------------------------------- /framework/files/metricsNames.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/files/metricsNames.txt -------------------------------------------------------------------------------- /framework/files/randomValues.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/files/randomValues.txt -------------------------------------------------------------------------------- /framework/fuzzyFiles/db.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/fuzzyFiles/db.db -------------------------------------------------------------------------------- /framework/fuzzyFiles/dex.dex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/fuzzyFiles/dex.dex -------------------------------------------------------------------------------- /framework/fuzzyFiles/properties.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/fuzzyFiles/properties.properties -------------------------------------------------------------------------------- /framework/fuzzyFiles/text.text: -------------------------------------------------------------------------------- 1 | Text -------------------------------------------------------------------------------- /framework/hooking/armeabi/libZHook.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/hooking/armeabi/libZHook.so -------------------------------------------------------------------------------- /framework/hooking/x86/libZHook.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/hooking/x86/libZHook.so -------------------------------------------------------------------------------- /framework/hooking/zhook.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/hooking/zhook.jar -------------------------------------------------------------------------------- /framework/libs/commons-cli-1.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/commons-cli-1.2.jar -------------------------------------------------------------------------------- /framework/libs/commons-codec-1.10.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/commons-codec-1.10.jar -------------------------------------------------------------------------------- /framework/libs/commons-io-2.4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/commons-io-2.4.jar -------------------------------------------------------------------------------- /framework/libs/ddmlib-22.2.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/ddmlib-22.2.0.jar -------------------------------------------------------------------------------- /framework/libs/ddmlib-24.3.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/ddmlib-24.3.0.jar -------------------------------------------------------------------------------- /framework/libs/guava-19.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/guava-19.0.jar -------------------------------------------------------------------------------- /framework/libs/jdktools.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/jdktools.jar -------------------------------------------------------------------------------- /framework/libs/junit.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/junit.jar -------------------------------------------------------------------------------- /framework/libs/zhook.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/libs/zhook.jar -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/SharedClassesSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/SharedClassesSettings.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/crashreporter/CrashReportItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/crashreporter/CrashReportItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/crashreporter/CrashReporterException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/crashreporter/CrashReporterException.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/AbstractDynamicCFGItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/AbstractDynamicCFGItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodCallItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodCallItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodEnterItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodEnterItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodLeaveItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodLeaveItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodReturnItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/dynamiccfg/MethodReturnItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/CloseConnectionRequest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/CloseConnectionRequest.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/DecisionRequest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/DecisionRequest.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/FileFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/FileFormat.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/IClientRequest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/IClientRequest.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/NetworkConnectionInitiator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/NetworkConnectionInitiator.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/ServerCommunicator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/ServerCommunicator.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/ServerResponse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/ServerResponse.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/BinarySerializableObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/BinarySerializableObject.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/FileFuzzingSerializableObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/FileFuzzingSerializableObject.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/SignatureSerializableObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/networkconnection/serializables/SignatureSerializableObject.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DexFileTransferTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DexFileTransferTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicIntValueTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicIntValueTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicStringValueTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicStringValueTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicValueTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/DynamicValueTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/FileBasedTracingUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/FileBasedTracingUtils.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/PathTrackingTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/PathTrackingTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TargetReachedTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TargetReachedTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TimingBombTraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TimingBombTraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TraceItem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/tracing/TraceItem.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/DefaultHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/DefaultHashMap.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/NetworkSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/NetworkSettings.java -------------------------------------------------------------------------------- /framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/sharedClasses/de/tu_darmstadt/sse/sharedclasses/util/Pair.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/EnvironmentResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/EnvironmentResult.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/FrameworkOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/FrameworkOptions.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/Main.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/NetworkSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/NetworkSettings.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/UtilMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/UtilMain.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePosition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePosition.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePositionManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePositionManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePositionWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/CodePositionWriter.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/StaticCodeIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/apkspecific/CodeModel/StaticCodeIndexer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/apkspecific/UtilApk.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/apkspecific/UtilApk.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/Instrumenter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/Instrumenter.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/UtilInstrumenter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/UtilInstrumenter.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/AbstractInstrumentationTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/AbstractInstrumentationTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/ClassLoaderTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/ClassLoaderTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/CodePositionTracking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/CodePositionTracking.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/ConditionTracking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/ConditionTracking.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/CrashReporterInjection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/CrashReporterInjection.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DummyMethodHookTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DummyMethodHookTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DynamicCallGraphTracking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DynamicCallGraphTracking.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DynamicValueTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/DynamicValueTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/GlobalInstanceTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/GlobalInstanceTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/GoalReachedTracking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/GoalReachedTracking.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/InstrumentedCodeTag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/InstrumentedCodeTag.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/PathExecutionTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/PathExecutionTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/TimingBombTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/appinstrumentation/transformer/TimingBombTransformer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/bootstrap/AnalysisTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/bootstrap/AnalysisTask.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/bootstrap/AnalysisTaskManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/bootstrap/AnalysisTaskManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/bootstrap/DexFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/bootstrap/DexFile.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/bootstrap/DexFileManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/bootstrap/DexFileManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/bootstrap/InstanceIndependentCodePosition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/bootstrap/InstanceIndependentCodePosition.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/commandlinelogger/LoggerHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/commandlinelogger/LoggerHelper.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/commandlinelogger/MyLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/commandlinelogger/MyLevel.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/DecisionMaker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/DecisionMaker.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/DecisionMakerConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/DecisionMakerConfig.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/DeterministicRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/DeterministicRandom.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/UtilDecisionMaker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/UtilDecisionMaker.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/AnalysisDecision.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/AnalysisDecision.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/EasyTaintWrapperSource.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/EasyTaintWrapperSource.txt -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/FakeAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/FakeAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/FuzzyAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/FuzzyAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicIntValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicIntValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicStringValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicStringValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueContainer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueInformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueInformation.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueUpdateHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/dynamicValues/DynamicValueUpdateHandler.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/FileFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/FileFuzzer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/FileFuzzerResultsAvailableHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/FileFuzzerResultsAvailableHandler.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/SourcesAndSinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/SourcesAndSinks.txt -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/UtilFileFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filefuzzer/UtilFileFuzzer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filevalues/FileValuesAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/filevalues/FileValuesAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/integritycheck/AntiIntegrityCheckFuzzyAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/integritycheck/AntiIntegrityCheckFuzzyAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/randomFuzzer/RandomPrimitives.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/randomFuzzer/RandomPrimitives.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/randomFuzzer/SimpleRandomFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/randomFuzzer/SimpleRandomFuzzer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/simpleBooleanAnalysis/SimpleBooleanAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/simpleBooleanAnalysis/SimpleBooleanAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/DataFlowObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/DataFlowObject.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/NotYetSupportedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/NotYetSupportedException.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SMTPreparationPhase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SMTPreparationPhase.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SMTUpdateInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SMTUpdateInfo.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SmartConstantDataExtractorFuzzyAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SmartConstantDataExtractorFuzzyAnalysis.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SourcesAndSinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/smartconstantdataextractor/SourcesAndSinks.txt -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/sourceconstantfuzzer/ConstantContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/sourceconstantfuzzer/ConstantContainer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/sourceconstantfuzzer/SourceConstantFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/sourceconstantfuzzer/SourceConstantFuzzer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/SourcesAndSinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/SourcesAndSinks.txt -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/StringToPrimitiveTypeExtractorDataflowHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/StringToPrimitiveTypeExtractorDataflowHandler.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/StringToPrimitiveTypeFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/stringtotypeextractor/StringToPrimitiveTypeFuzzer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/ControlFlowPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/ControlFlowPath.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/FragmentedControlFlowPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/FragmentedControlFlowPath.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/JimpleExprVisitorImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/JimpleExprVisitorImpl.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/JimpleStmtVisitorImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/JimpleStmtVisitorImpl.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/SMTConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/SMTConverter.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/SMTExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/SMTExecutor.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/UtilSMT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/UtilSMT.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTAssertStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTAssertStatement.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTAssignment.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBinding.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBindingValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBindingValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBooleanEqualsAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTBooleanEqualsAssignment.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTCharAtMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTCharAtMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTComplexBinaryOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTComplexBinaryOperation.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTConcatMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTConcatMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTConstantValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTConstantValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTContainsMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTContainsMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTEndsWithMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTEndsWithMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTIndexOfMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTIndexOfMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTLengthMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTLengthMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTMethodAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTMethodAssignment.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTProgram.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTRegexDigitOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTRegexDigitOperation.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSimpleAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSimpleAssignment.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSimpleBinaryOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSimpleBinaryOperation.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTStartsWithMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTStartsWithMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTStatement.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSubstringMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTSubstringMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTUnaryOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTUnaryOperation.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTUnaryOperationAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTUnaryOperationAssignment.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/SMTValue.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/StringMethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/analysis/symbolicexecution/datastructure/StringMethodCall.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/SocketServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/SocketServer.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/ThreadTraceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/ThreadTraceManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/ThreadTraceManagerCreatedHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/ThreadTraceManagerCreatedHandler.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/TraceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/TraceManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/ClientHistory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/ClientHistory.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/ClientHistoryCreatedHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/ClientHistoryCreatedHandler.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/GeneticCombination.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/decisionmaker/server/history/GeneticCombination.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/dynamiccfg/Callgraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/dynamiccfg/Callgraph.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/dynamiccfg/DynamicCallgraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/dynamiccfg/DynamicCallgraphBuilder.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/dynamiccfg/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/dynamiccfg/Edge.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/dynamiccfg/utils/FileUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/dynamiccfg/utils/FileUtils.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/dynamiccfg/utils/MapUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/dynamiccfg/utils/MapUtils.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/ActivityEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/ActivityEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/AddContactEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/AddContactEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/FrameworkEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/FrameworkEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/GenericReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/GenericReceiver.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/InstallApkEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/InstallApkEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/KillAppProcessEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/KillAppProcessEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/OnClickEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/OnClickEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/PhoneRestartEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/PhoneRestartEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/PushFilesEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/PushFilesEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/ServiceEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/ServiceEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/StartActivityEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/StartActivityEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/StartApkEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/StartApkEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/UninstallAppEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/UninstallAppEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/FakeBroadcastEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/FakeBroadcastEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/IncomingCallEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/IncomingCallEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/OutgoingCallEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/OutgoingCallEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/RealBroadcastEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/RealBroadcastEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/SMSReceivedEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/broadcastevents/SMSReceivedEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/frameworkevents/manager/FrameworkEventManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/frameworkevents/manager/FrameworkEventManager.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/progressmetric/ApproachLevelMetric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/progressmetric/ApproachLevelMetric.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/progressmetric/IProgressMetric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/progressmetric/IProgressMetric.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/progressmetric/SubpathNCoverage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/progressmetric/SubpathNCoverage.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/digraph/Digraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/digraph/Digraph.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/digraph/Subgraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/digraph/Subgraph.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/events/AbstractPathExecutionEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/events/AbstractPathExecutionEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/events/MethodCalleeEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/events/MethodCalleeEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/events/MethodCallerEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/events/MethodCallerEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/events/ReturnEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/events/ReturnEvent.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/inputformat/AbstractConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/inputformat/AbstractConverter.java -------------------------------------------------------------------------------- /framework/src/de/tu_darmstadt/sse/visualization/inputformat/LogcatInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/srasthofer/FuzzDroid/HEAD/framework/src/de/tu_darmstadt/sse/visualization/inputformat/LogcatInput.java --------------------------------------------------------------------------------