├── .classpath ├── .gitignore ├── .project ├── .reviewboardrc ├── .settings └── org.eclipse.core.resources.prefs ├── .travis-build.sh ├── .travis.yml ├── README ├── annotated-intent-receivers ├── com.android │ ├── BrowserActivity.java │ ├── Camera.java │ ├── ComposeActivity.java │ ├── DeviceAdminAdd.java │ ├── MockBCReceiver.java │ ├── MockReceiver.java │ ├── MockService.java │ ├── RingtonePickerActivity.java │ └── WifiPickerActivity.java └── com.google │ ├── CaptureActivity.java │ └── MapsActivity.java ├── capture-strings.pl ├── changelog-sparta.txt ├── checkstyle ├── checkstyle-5.6-all.jar ├── precommit-hook.sh └── sun_checks.xml ├── compare-strings.pl ├── developer-docs ├── README-developers ├── release └── vm │ ├── HowToInstallJava │ ├── HowToInstallTheVdi │ ├── README.VM │ ├── VirtualBoxNotes │ └── notes.txt ├── docs ├── Makefile ├── README.txt ├── annotated-app.tex ├── app-annotation.tex ├── appanalysis.tex ├── figures │ ├── Makefile │ ├── flowsinks.dia │ ├── flowsinks_parameterized.dia │ ├── flowsinks_parameterized.eps │ ├── flowsinks_parameterized.pdf │ ├── flowsinks_parameterized.png │ ├── flowsources.dia │ ├── flowsources_parameterized.dia │ ├── flowsources_parameterized.eps │ ├── flowsources_parameterized.pdf │ └── flowsources_parameterized.png ├── flow-flow-policy.tex ├── flow.tex ├── hevea-retarget-crossrefs ├── hevea.sty ├── installation.tex ├── intents.tex ├── introduction.tex ├── macros.tex ├── manual-style.tex ├── manual.tex ├── permission-table.tex ├── rules-of-engagement.tex ├── sparta-internals.tex └── tutorial.tex ├── eclipse ├── JsonJavac.launch ├── checker-framework-formatter.xml ├── checker-framework.importorder └── sparta-code-tests.launch ├── filter-flows.pl ├── generate-cm.sh ├── generate-filters.sh ├── project.properties ├── sparta-code.iml ├── sparta-logo ├── UW_W-Logo_RGB.gif ├── UW_W-Logo_RGB.png ├── android-heater-shield.png ├── android-spartan-shield.png └── sparta-logo.png ├── src └── sparta │ └── checkers │ ├── AddsSourceValidator.java │ ├── AndroidChecker.java │ ├── ConditionalValidator.java │ ├── Flow.java │ ├── FlowAnalyzer.java │ ├── FlowAnnotatedTypeFactory.java │ ├── FlowAnnotationFormatter.java │ ├── FlowChecker.java │ ├── FlowPolicy.java │ ├── FlowShow.java │ ├── FlowVisitor.java │ ├── JsonJavac.java │ ├── NotReviewedLibraryChecker.java │ ├── StubChecker.java │ ├── flowstubfiles │ ├── 1_stubfileheader.astub │ ├── android.accessibilityservice.astub │ ├── android.accounts.astub │ ├── android.animation.astub │ ├── android.annotation.astub │ ├── android.app.astub │ ├── android.appwidget.astub │ ├── android.bluetooth.astub │ ├── android.content.astub │ ├── android.database.astub │ ├── android.gesture.astub │ ├── android.graphics.astub │ ├── android.hardware.astub │ ├── android.inputmethodservice.astub │ ├── android.location.astub │ ├── android.media.astub │ ├── android.net.astub │ ├── android.nfc.astub │ ├── android.opengl.astub │ ├── android.os.astub │ ├── android.preference.astub │ ├── android.print.astub │ ├── android.provider.astub │ ├── android.sax.astub │ ├── android.service.astub │ ├── android.speech.astub │ ├── android.support.astub │ ├── android.telephony.astub │ ├── android.text.astub │ ├── android.util.astub │ ├── android.view.astub │ ├── android.webkit.astub │ ├── android.widget.astub │ ├── com.android.astub │ ├── dalvik.system.astub │ ├── java.io.astub │ ├── java.lang.astub │ ├── java.math.astub │ ├── java.net.astub │ ├── java.nio.astub │ ├── java.security.astub │ ├── java.sql.astub │ ├── java.text.astub │ ├── java.util.astub │ ├── java.util.regex.astub │ ├── javax.crypto.astub │ ├── javax.microedition.astub │ ├── javax.net.astub │ ├── javax.xml.astub │ ├── org.apache.astub │ ├── org.htmlcleaner.astub │ ├── org.json.astub │ ├── org.w3c.astub │ ├── org.xml.astub │ └── org.xmlpull.astub │ ├── intents │ ├── ComponentMap.java │ ├── IntentAnnotatedTypeFactory.java │ ├── IntentAnnotationFormatter.java │ ├── IntentChecker.java │ ├── IntentTransfer.java │ ├── IntentUtils.java │ ├── IntentVisitor.java │ ├── componentmap │ │ ├── IntentFilter.java │ │ ├── ProcessAndroidManifest.java │ │ ├── ProcessEpicOutput.java │ │ └── filter-map-base │ ├── intent-map.astub │ ├── messages.properties │ ├── put-get-extra.astub │ └── receive-send-intent.astub │ ├── messages.properties │ ├── permission │ ├── AndroidFenumChecker.java │ ├── DependentPermissionsAnnotatedTypeFactory.java │ ├── DependentPermissionsChecker.java │ ├── DependentPermissionsVisitor.java │ ├── PermissionsChecker.java │ ├── RequiredPermissionsChecker.java │ ├── RequiredPermissionsVisitor.java │ ├── jdk.astub │ ├── messages.properties │ ├── permission.astub │ └── qual │ │ ├── DependentPermissions.java │ │ ├── DependentPermissionsTop.java │ │ ├── DependentPermissionsUnqualified.java │ │ ├── MayRequiredPermissions.java │ │ ├── Permission.java │ │ └── RequiredPermissions.java │ ├── poly │ ├── ParameterizedPermissonPolymorphism.java │ ├── QualifierPolymorphism.java │ ├── ReceiverPolymorphism.java │ └── StandardQualifierPolymorphism.java │ ├── quals │ ├── AddsSourceData.java │ ├── Extra.java │ ├── FlowPermission.java │ ├── FlowPermissionString.java │ ├── GetExtra.java │ ├── GetIntentFilter.java │ ├── InferParameterizedPermission.java │ ├── IntentMap.java │ ├── IntentMapBottom.java │ ├── IntentMapNew.java │ ├── PFPermission.java │ ├── PolyFlow.java │ ├── PolyFlowReceiver.java │ ├── PolyIntentMap.java │ ├── PolySink.java │ ├── PolySinkR.java │ ├── PolySource.java │ ├── PolySourceR.java │ ├── PutExtra.java │ ├── ReceiveIntent.java │ ├── SendIntent.java │ ├── SetIntentFilter.java │ ├── Sink.java │ └── Source.java │ ├── report │ ├── ReportAPIChecker.java │ ├── ReportBinaryChecker.java │ ├── ReportValueAnnotatedTypeFactory.java │ ├── ReportValueChecker.java │ ├── ReportValueVisitor.java │ ├── apiusage.astub │ ├── jdk.astub │ ├── messages.properties │ ├── states.astub │ └── suspicious.astub │ ├── util │ ├── IntentKeyChecker.java │ ├── IntentKeyVisitor.java │ ├── IntentStatsAnnotatedTypeFactory.java │ ├── IntentStatsChecker.java │ ├── IntentStatsVisitor.java │ ├── intent-map.astub │ ├── jdk.astub │ ├── put-get-extra.astub │ └── receive-send-intent.astub │ └── validator │ ├── BaseFlowVisitor.java │ ├── BaseValidator.java │ ├── Validator.java │ └── ValidatorList.java ├── suspicious.pl ├── tests ├── Test.java ├── fenums │ ├── InAnnotation.java │ └── Simple.java ├── flow │ ├── AddsSourceDataTest.java │ ├── Arithmetics.java │ ├── ArithmeticsFlowpolicy │ ├── ArrayCast.java │ ├── ArrayCastFlowpolicy │ ├── CastTest.java │ ├── CastTestFlowpolicy │ ├── Conditions.java │ ├── ConditionsFlowpolicy │ ├── ConstructorAnnotation.java │ ├── ConstructorAnnotationFlowpolicy │ ├── DefaultFlowTest.java │ ├── DefaultFlowTestFlowpolicy │ ├── EnumTest.java │ ├── FlowCompletion.java │ ├── FlowCompletionFlowpolicy │ ├── FlowPolicyDefaulting.java │ ├── FlowPolicyDefaultingFlowpolicy │ ├── ForEach.java │ ├── ForEachFlowpolicy │ ├── Generics.java │ ├── GenericsFlowpolicy │ ├── MethodTypeArgumentResolution.java │ ├── MiscTests.java │ ├── MiscTestsFlowpolicy │ ├── MultiplyTestFlowpolicy │ ├── NewList.java │ ├── NewTest.java │ ├── NewTestFlowpolicy │ ├── Null.java │ ├── Overriding.java │ ├── Poly.java │ ├── PolyConstructors.java │ ├── PolyConstructorsFlowpolicy │ ├── PolyFlowTest.java │ ├── PolyFlowTestFlowpolicy │ ├── PolyFlowpolicy │ ├── PolyOverride.java │ ├── PolyTest.java │ ├── PrimiOps.java │ ├── PrimiOpsFlowpolicy │ ├── ReceiverPolyDefaultTest.java │ ├── ReceiverPolyTest.java │ ├── SWAssignment.java │ ├── SWAssignmentFlowpolicy │ ├── SinksTest.java │ ├── SinksTestFlowpolicy │ ├── SourceAndSink.java │ ├── SourceAndSinkFlowpolicy │ ├── SourcesTest.java │ ├── StringConcat.java │ ├── StringConcatFlowpolicy │ ├── SwitchTest.java │ ├── SwitchTestFlowpolicy │ ├── TestLiteralDefaults.java │ ├── TypeParameterReturn.java │ └── TypeParameterReturnFlowpolicy ├── hamcrest-core-1.3.jar ├── intent │ ├── ActivityReceiver.java │ ├── ActivityTest.java │ ├── ActivityTestComponentmap │ ├── ActivityTestFlowpolicy │ ├── AndroidSystemTest.java │ ├── AndroidSystemTestComponentmap │ ├── AndroidSystemTestFlowpolicy │ ├── ArrayTest.java │ ├── ArrayTestFlowpolicy │ ├── BReceiverReceiver.java │ ├── BReceiverTest.java │ ├── BReceiverTestComponentmap │ ├── BReceiverTestFlowpolicy │ ├── ConstCheckerTest.java │ ├── ConstCheckerTestFlowpolicy │ ├── DataflowInferenceTest.java │ ├── DataflowInferenceTestComponentmap │ ├── DataflowInferenceTestFlowpolicy │ ├── DefaultingTest.java │ ├── DefaultingTestFlowpolicy │ ├── GenericsTest.java │ ├── GenericsTestFlowpolicy │ ├── IntentMapBottomTest.java │ ├── IntentMapBottomTestComponentmap │ ├── IntentMapBottomTestFlowpolicy │ ├── NotAllowedAnnos.java │ ├── PolyIntentMapTest.java │ ├── PolyIntentMapTestFlowpolicy │ ├── ReceiverIntentTest.java │ ├── ServiceReceiver.java │ ├── ServiceTest.java │ ├── ServiceTestComponentmap │ ├── ServiceTestFlowpolicy │ └── TypeRefinement.java ├── intentreceivers │ ├── ActivityReceiverStub.java │ ├── BReceiverReceiverStub.java │ ├── IntentMapBottom2ReceiverStub.java │ ├── IntentMapBottom3ReceiverStub.java │ └── ServiceReceiverStub.java ├── junit-4.12.jar ├── not-reviewed │ └── NotReviewed.java ├── parameterized │ ├── InferParamPermTest.java │ ├── InferParamPermTestFlowpolicy │ ├── Issue5.java │ ├── Issue5Flowpolicy │ ├── ParameterizedArithmeticsTest.java │ ├── ParameterizedArithmeticsTestFlowpolicy │ ├── ParameterizedCastTest.java │ ├── ParameterizedFlowPolicyTest.java │ ├── ParameterizedFlowPolicyTestFlowpolicy │ ├── ParameterizedGenericsTest.java │ ├── ParameterizedSinkTest.java │ ├── ParameterizedSinkTestFlowpolicy │ ├── ParameterizedSinksSubtypingTest.java │ ├── ParameterizedSinksSubtypingTestFlowpolicy │ ├── ParameterizedSourceTest.java │ └── ParameterizedSourcesSubtypingTest.java ├── permissions │ ├── FirstCall.java │ └── TestSpec.java ├── policyfile │ ├── WithPolicyTest.java │ ├── WithPolicyTestFlowpolicy │ └── WithoutPolicyTest.java ├── reflection │ ├── ReflectionTest.java │ └── ReflectionTestFlowpolicy ├── report │ ├── Android.java │ └── Simple.java ├── src │ └── tests │ │ └── AndroidTests.java ├── strict │ ├── ArrayInvariant.java │ └── ArrayInvariantFlowpolicy └── stubfile │ ├── ConstructorStubAnnotation.astub │ ├── ConstructorStubAnnotation.java │ ├── ConstructorStubAnnotationFlowpolicy │ ├── StubfileTests.astub │ ├── StubfileTests.java │ ├── StubfileTestsFlowpolicy │ ├── stub.jar │ └── stubfile │ └── ExampleApi.java ├── tools ├── permissionmap-convert │ ├── APICalls-PScout-4.0.1.txt │ ├── APICalls-PScout-4.1.1.txt │ ├── APICalls-Stowaway.txt │ ├── AllAPICalls-PScout-4.0.1.txt │ ├── PermissionMap.java │ ├── Private-APIs.txt │ ├── README │ ├── convert.py │ ├── permission.astub │ └── pscout-convert.py └── susi-convert │ ├── GenerateStubFilesFromSuSi.java │ ├── README │ └── susi.astub ├── visualization ├── API Graph Data.json ├── API Graph.xhtml ├── Flow Graph Data.json ├── Flow Graph.xhtml ├── Output.json ├── README ├── Scripts │ ├── API Graph.js │ ├── Flow Graph.js │ ├── Main.js │ └── d3.v2.min.js ├── Styles │ ├── API Graph.css │ ├── Flow Graph.css │ ├── Graph.css │ └── Main.css └── Visualization.xhtml └── website ├── android-heater-shield-w3.png ├── index.html └── release └── index.html /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.classpath -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.gitignore -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.project -------------------------------------------------------------------------------- /.reviewboardrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.reviewboardrc -------------------------------------------------------------------------------- /.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /.travis-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.travis-build.sh -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/.travis.yml -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/README -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/BrowserActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/BrowserActivity.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/Camera.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/Camera.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/ComposeActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/ComposeActivity.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/DeviceAdminAdd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/DeviceAdminAdd.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/MockBCReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/MockBCReceiver.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/MockReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/MockReceiver.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/MockService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/MockService.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/RingtonePickerActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/RingtonePickerActivity.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.android/WifiPickerActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.android/WifiPickerActivity.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.google/CaptureActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.google/CaptureActivity.java -------------------------------------------------------------------------------- /annotated-intent-receivers/com.google/MapsActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/annotated-intent-receivers/com.google/MapsActivity.java -------------------------------------------------------------------------------- /capture-strings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/capture-strings.pl -------------------------------------------------------------------------------- /changelog-sparta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/changelog-sparta.txt -------------------------------------------------------------------------------- /checkstyle/checkstyle-5.6-all.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/checkstyle/checkstyle-5.6-all.jar -------------------------------------------------------------------------------- /checkstyle/precommit-hook.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/checkstyle/precommit-hook.sh -------------------------------------------------------------------------------- /checkstyle/sun_checks.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/checkstyle/sun_checks.xml -------------------------------------------------------------------------------- /compare-strings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/compare-strings.pl -------------------------------------------------------------------------------- /developer-docs/README-developers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/README-developers -------------------------------------------------------------------------------- /developer-docs/release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/release -------------------------------------------------------------------------------- /developer-docs/vm/HowToInstallJava: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/vm/HowToInstallJava -------------------------------------------------------------------------------- /developer-docs/vm/HowToInstallTheVdi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/vm/HowToInstallTheVdi -------------------------------------------------------------------------------- /developer-docs/vm/README.VM: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/vm/README.VM -------------------------------------------------------------------------------- /developer-docs/vm/VirtualBoxNotes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/vm/VirtualBoxNotes -------------------------------------------------------------------------------- /developer-docs/vm/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/developer-docs/vm/notes.txt -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/README.txt -------------------------------------------------------------------------------- /docs/annotated-app.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/annotated-app.tex -------------------------------------------------------------------------------- /docs/app-annotation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/app-annotation.tex -------------------------------------------------------------------------------- /docs/appanalysis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/appanalysis.tex -------------------------------------------------------------------------------- /docs/figures/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/Makefile -------------------------------------------------------------------------------- /docs/figures/flowsinks.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsinks.dia -------------------------------------------------------------------------------- /docs/figures/flowsinks_parameterized.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsinks_parameterized.dia -------------------------------------------------------------------------------- /docs/figures/flowsinks_parameterized.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsinks_parameterized.eps -------------------------------------------------------------------------------- /docs/figures/flowsinks_parameterized.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsinks_parameterized.pdf -------------------------------------------------------------------------------- /docs/figures/flowsinks_parameterized.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsinks_parameterized.png -------------------------------------------------------------------------------- /docs/figures/flowsources.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsources.dia -------------------------------------------------------------------------------- /docs/figures/flowsources_parameterized.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsources_parameterized.dia -------------------------------------------------------------------------------- /docs/figures/flowsources_parameterized.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsources_parameterized.eps -------------------------------------------------------------------------------- /docs/figures/flowsources_parameterized.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsources_parameterized.pdf -------------------------------------------------------------------------------- /docs/figures/flowsources_parameterized.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/figures/flowsources_parameterized.png -------------------------------------------------------------------------------- /docs/flow-flow-policy.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/flow-flow-policy.tex -------------------------------------------------------------------------------- /docs/flow.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/flow.tex -------------------------------------------------------------------------------- /docs/hevea-retarget-crossrefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/hevea-retarget-crossrefs -------------------------------------------------------------------------------- /docs/hevea.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/hevea.sty -------------------------------------------------------------------------------- /docs/installation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/installation.tex -------------------------------------------------------------------------------- /docs/intents.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/intents.tex -------------------------------------------------------------------------------- /docs/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/introduction.tex -------------------------------------------------------------------------------- /docs/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/macros.tex -------------------------------------------------------------------------------- /docs/manual-style.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/manual-style.tex -------------------------------------------------------------------------------- /docs/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/manual.tex -------------------------------------------------------------------------------- /docs/permission-table.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/permission-table.tex -------------------------------------------------------------------------------- /docs/rules-of-engagement.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/rules-of-engagement.tex -------------------------------------------------------------------------------- /docs/sparta-internals.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/sparta-internals.tex -------------------------------------------------------------------------------- /docs/tutorial.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/docs/tutorial.tex -------------------------------------------------------------------------------- /eclipse/JsonJavac.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/eclipse/JsonJavac.launch -------------------------------------------------------------------------------- /eclipse/checker-framework-formatter.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/eclipse/checker-framework-formatter.xml -------------------------------------------------------------------------------- /eclipse/checker-framework.importorder: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/eclipse/checker-framework.importorder -------------------------------------------------------------------------------- /eclipse/sparta-code-tests.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/eclipse/sparta-code-tests.launch -------------------------------------------------------------------------------- /filter-flows.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/filter-flows.pl -------------------------------------------------------------------------------- /generate-cm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/generate-cm.sh -------------------------------------------------------------------------------- /generate-filters.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/generate-filters.sh -------------------------------------------------------------------------------- /project.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/project.properties -------------------------------------------------------------------------------- /sparta-code.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-code.iml -------------------------------------------------------------------------------- /sparta-logo/UW_W-Logo_RGB.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-logo/UW_W-Logo_RGB.gif -------------------------------------------------------------------------------- /sparta-logo/UW_W-Logo_RGB.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-logo/UW_W-Logo_RGB.png -------------------------------------------------------------------------------- /sparta-logo/android-heater-shield.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-logo/android-heater-shield.png -------------------------------------------------------------------------------- /sparta-logo/android-spartan-shield.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-logo/android-spartan-shield.png -------------------------------------------------------------------------------- /sparta-logo/sparta-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/sparta-logo/sparta-logo.png -------------------------------------------------------------------------------- /src/sparta/checkers/AddsSourceValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/AddsSourceValidator.java -------------------------------------------------------------------------------- /src/sparta/checkers/AndroidChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/AndroidChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/ConditionalValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/ConditionalValidator.java -------------------------------------------------------------------------------- /src/sparta/checkers/Flow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/Flow.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowAnalyzer.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowAnnotatedTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowAnnotatedTypeFactory.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowAnnotationFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowAnnotationFormatter.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowPolicy.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowShow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowShow.java -------------------------------------------------------------------------------- /src/sparta/checkers/FlowVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/FlowVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/JsonJavac.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/JsonJavac.java -------------------------------------------------------------------------------- /src/sparta/checkers/NotReviewedLibraryChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/NotReviewedLibraryChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/StubChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/StubChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/1_stubfileheader.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/1_stubfileheader.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.accessibilityservice.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.accessibilityservice.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.accounts.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.accounts.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.animation.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.animation.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.annotation.astub: -------------------------------------------------------------------------------- 1 | package android.annotation; 2 | 3 | class TargetApi{ 4 | int value(); 5 | } 6 | -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.app.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.app.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.appwidget.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.appwidget.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.bluetooth.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.bluetooth.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.content.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.content.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.database.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.database.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.gesture.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.gesture.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.graphics.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.graphics.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.hardware.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.hardware.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.inputmethodservice.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.inputmethodservice.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.location.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.location.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.media.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.media.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.net.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.net.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.nfc.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.nfc.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.opengl.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.opengl.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.os.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.os.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.preference.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.preference.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.print.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.print.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.provider.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.provider.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.sax.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.sax.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.service.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.service.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.speech.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.speech.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.support.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.support.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.telephony.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.telephony.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.text.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.text.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.util.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.util.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.view.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.view.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.webkit.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.webkit.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/android.widget.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/android.widget.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/com.android.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/com.android.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/dalvik.system.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/dalvik.system.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.io.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.io.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.lang.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.lang.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.math.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.math.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.net.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.net.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.nio.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.nio.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.security.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.security.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.sql.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.sql.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.text.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.text.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.util.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.util.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/java.util.regex.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/java.util.regex.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/javax.crypto.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/javax.crypto.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/javax.microedition.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/javax.microedition.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/javax.net.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/javax.net.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/javax.xml.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/javax.xml.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.apache.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.apache.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.htmlcleaner.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.htmlcleaner.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.json.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.json.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.w3c.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.w3c.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.xml.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.xml.astub -------------------------------------------------------------------------------- /src/sparta/checkers/flowstubfiles/org.xmlpull.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/flowstubfiles/org.xmlpull.astub -------------------------------------------------------------------------------- /src/sparta/checkers/intents/ComponentMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/ComponentMap.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentAnnotatedTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentAnnotatedTypeFactory.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentAnnotationFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentAnnotationFormatter.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentTransfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentTransfer.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentUtils.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/IntentVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/IntentVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/componentmap/IntentFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/componentmap/IntentFilter.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/componentmap/ProcessAndroidManifest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/componentmap/ProcessAndroidManifest.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/componentmap/ProcessEpicOutput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/componentmap/ProcessEpicOutput.java -------------------------------------------------------------------------------- /src/sparta/checkers/intents/componentmap/filter-map-base: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/componentmap/filter-map-base -------------------------------------------------------------------------------- /src/sparta/checkers/intents/intent-map.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/intent-map.astub -------------------------------------------------------------------------------- /src/sparta/checkers/intents/messages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/messages.properties -------------------------------------------------------------------------------- /src/sparta/checkers/intents/put-get-extra.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/put-get-extra.astub -------------------------------------------------------------------------------- /src/sparta/checkers/intents/receive-send-intent.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/intents/receive-send-intent.astub -------------------------------------------------------------------------------- /src/sparta/checkers/messages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/messages.properties -------------------------------------------------------------------------------- /src/sparta/checkers/permission/AndroidFenumChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/AndroidFenumChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/DependentPermissionsAnnotatedTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/DependentPermissionsAnnotatedTypeFactory.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/DependentPermissionsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/DependentPermissionsChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/DependentPermissionsVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/DependentPermissionsVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/PermissionsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/PermissionsChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/RequiredPermissionsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/RequiredPermissionsChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/RequiredPermissionsVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/RequiredPermissionsVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/jdk.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/jdk.astub -------------------------------------------------------------------------------- /src/sparta/checkers/permission/messages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/messages.properties -------------------------------------------------------------------------------- /src/sparta/checkers/permission/permission.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/permission.astub -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/DependentPermissions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/DependentPermissions.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/DependentPermissionsTop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/DependentPermissionsTop.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/DependentPermissionsUnqualified.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/DependentPermissionsUnqualified.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/MayRequiredPermissions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/MayRequiredPermissions.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/Permission.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/Permission.java -------------------------------------------------------------------------------- /src/sparta/checkers/permission/qual/RequiredPermissions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/permission/qual/RequiredPermissions.java -------------------------------------------------------------------------------- /src/sparta/checkers/poly/ParameterizedPermissonPolymorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/poly/ParameterizedPermissonPolymorphism.java -------------------------------------------------------------------------------- /src/sparta/checkers/poly/QualifierPolymorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/poly/QualifierPolymorphism.java -------------------------------------------------------------------------------- /src/sparta/checkers/poly/ReceiverPolymorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/poly/ReceiverPolymorphism.java -------------------------------------------------------------------------------- /src/sparta/checkers/poly/StandardQualifierPolymorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/poly/StandardQualifierPolymorphism.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/AddsSourceData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/AddsSourceData.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/Extra.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/Extra.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/FlowPermission.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/FlowPermission.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/FlowPermissionString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/FlowPermissionString.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/GetExtra.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/GetExtra.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/GetIntentFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/GetIntentFilter.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/InferParameterizedPermission.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/InferParameterizedPermission.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/IntentMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/IntentMap.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/IntentMapBottom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/IntentMapBottom.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/IntentMapNew.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/IntentMapNew.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PFPermission.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PFPermission.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolyFlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolyFlow.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolyFlowReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolyFlowReceiver.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolyIntentMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolyIntentMap.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolySink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolySink.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolySinkR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolySinkR.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolySource.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PolySourceR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PolySourceR.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/PutExtra.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/PutExtra.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/ReceiveIntent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/ReceiveIntent.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/SendIntent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/SendIntent.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/SetIntentFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/SetIntentFilter.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/Sink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/Sink.java -------------------------------------------------------------------------------- /src/sparta/checkers/quals/Source.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/quals/Source.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/ReportAPIChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/ReportAPIChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/ReportBinaryChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/ReportBinaryChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/ReportValueAnnotatedTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/ReportValueAnnotatedTypeFactory.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/ReportValueChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/ReportValueChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/ReportValueVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/ReportValueVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/report/apiusage.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/apiusage.astub -------------------------------------------------------------------------------- /src/sparta/checkers/report/jdk.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/jdk.astub -------------------------------------------------------------------------------- /src/sparta/checkers/report/messages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/messages.properties -------------------------------------------------------------------------------- /src/sparta/checkers/report/states.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/states.astub -------------------------------------------------------------------------------- /src/sparta/checkers/report/suspicious.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/report/suspicious.astub -------------------------------------------------------------------------------- /src/sparta/checkers/util/IntentKeyChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/IntentKeyChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/util/IntentKeyVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/IntentKeyVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/util/IntentStatsAnnotatedTypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/IntentStatsAnnotatedTypeFactory.java -------------------------------------------------------------------------------- /src/sparta/checkers/util/IntentStatsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/IntentStatsChecker.java -------------------------------------------------------------------------------- /src/sparta/checkers/util/IntentStatsVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/IntentStatsVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/util/intent-map.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/intent-map.astub -------------------------------------------------------------------------------- /src/sparta/checkers/util/jdk.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/jdk.astub -------------------------------------------------------------------------------- /src/sparta/checkers/util/put-get-extra.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/put-get-extra.astub -------------------------------------------------------------------------------- /src/sparta/checkers/util/receive-send-intent.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/util/receive-send-intent.astub -------------------------------------------------------------------------------- /src/sparta/checkers/validator/BaseFlowVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/validator/BaseFlowVisitor.java -------------------------------------------------------------------------------- /src/sparta/checkers/validator/BaseValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/validator/BaseValidator.java -------------------------------------------------------------------------------- /src/sparta/checkers/validator/Validator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/validator/Validator.java -------------------------------------------------------------------------------- /src/sparta/checkers/validator/ValidatorList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/src/sparta/checkers/validator/ValidatorList.java -------------------------------------------------------------------------------- /suspicious.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/suspicious.pl -------------------------------------------------------------------------------- /tests/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/Test.java -------------------------------------------------------------------------------- /tests/fenums/InAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/fenums/InAnnotation.java -------------------------------------------------------------------------------- /tests/fenums/Simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/fenums/Simple.java -------------------------------------------------------------------------------- /tests/flow/AddsSourceDataTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/AddsSourceDataTest.java -------------------------------------------------------------------------------- /tests/flow/Arithmetics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Arithmetics.java -------------------------------------------------------------------------------- /tests/flow/ArithmeticsFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ArithmeticsFlowpolicy -------------------------------------------------------------------------------- /tests/flow/ArrayCast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ArrayCast.java -------------------------------------------------------------------------------- /tests/flow/ArrayCastFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ArrayCastFlowpolicy -------------------------------------------------------------------------------- /tests/flow/CastTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/CastTest.java -------------------------------------------------------------------------------- /tests/flow/CastTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/CastTestFlowpolicy -------------------------------------------------------------------------------- /tests/flow/Conditions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Conditions.java -------------------------------------------------------------------------------- /tests/flow/ConditionsFlowpolicy: -------------------------------------------------------------------------------- 1 | ANY -> MANAGE_ACCOUNTS 2 | READ_SMS -> INTERNET -------------------------------------------------------------------------------- /tests/flow/ConstructorAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ConstructorAnnotation.java -------------------------------------------------------------------------------- /tests/flow/ConstructorAnnotationFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ConstructorAnnotationFlowpolicy -------------------------------------------------------------------------------- /tests/flow/DefaultFlowTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/DefaultFlowTest.java -------------------------------------------------------------------------------- /tests/flow/DefaultFlowTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/DefaultFlowTestFlowpolicy -------------------------------------------------------------------------------- /tests/flow/EnumTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/EnumTest.java -------------------------------------------------------------------------------- /tests/flow/FlowCompletion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/FlowCompletion.java -------------------------------------------------------------------------------- /tests/flow/FlowCompletionFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/FlowCompletionFlowpolicy -------------------------------------------------------------------------------- /tests/flow/FlowPolicyDefaulting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/FlowPolicyDefaulting.java -------------------------------------------------------------------------------- /tests/flow/FlowPolicyDefaultingFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/FlowPolicyDefaultingFlowpolicy -------------------------------------------------------------------------------- /tests/flow/ForEach.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ForEach.java -------------------------------------------------------------------------------- /tests/flow/ForEachFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ForEachFlowpolicy -------------------------------------------------------------------------------- /tests/flow/Generics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Generics.java -------------------------------------------------------------------------------- /tests/flow/GenericsFlowpolicy: -------------------------------------------------------------------------------- 1 | # 2 | 3 | -------------------------------------------------------------------------------- /tests/flow/MethodTypeArgumentResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/MethodTypeArgumentResolution.java -------------------------------------------------------------------------------- /tests/flow/MiscTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/MiscTests.java -------------------------------------------------------------------------------- /tests/flow/MiscTestsFlowpolicy: -------------------------------------------------------------------------------- 1 | ACCESS_FINE_LOCATION -> INTERNET 2 | 3 | -------------------------------------------------------------------------------- /tests/flow/MultiplyTestFlowpolicy: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /tests/flow/NewList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/NewList.java -------------------------------------------------------------------------------- /tests/flow/NewTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/NewTest.java -------------------------------------------------------------------------------- /tests/flow/NewTestFlowpolicy: -------------------------------------------------------------------------------- 1 | CAMERA -> INTERNET, FILESYSTEM 2 | 3 | -------------------------------------------------------------------------------- /tests/flow/Null.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Null.java -------------------------------------------------------------------------------- /tests/flow/Overriding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Overriding.java -------------------------------------------------------------------------------- /tests/flow/Poly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/Poly.java -------------------------------------------------------------------------------- /tests/flow/PolyConstructors.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyConstructors.java -------------------------------------------------------------------------------- /tests/flow/PolyConstructorsFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyConstructorsFlowpolicy -------------------------------------------------------------------------------- /tests/flow/PolyFlowTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyFlowTest.java -------------------------------------------------------------------------------- /tests/flow/PolyFlowTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyFlowTestFlowpolicy -------------------------------------------------------------------------------- /tests/flow/PolyFlowpolicy: -------------------------------------------------------------------------------- 1 | CAMERA->WRITE_EMAIL,INTERNET 2 | 3 | -------------------------------------------------------------------------------- /tests/flow/PolyOverride.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyOverride.java -------------------------------------------------------------------------------- /tests/flow/PolyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PolyTest.java -------------------------------------------------------------------------------- /tests/flow/PrimiOps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/PrimiOps.java -------------------------------------------------------------------------------- /tests/flow/PrimiOpsFlowpolicy: -------------------------------------------------------------------------------- 1 | 2 | # 3 | 4 | -------------------------------------------------------------------------------- /tests/flow/ReceiverPolyDefaultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ReceiverPolyDefaultTest.java -------------------------------------------------------------------------------- /tests/flow/ReceiverPolyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/ReceiverPolyTest.java -------------------------------------------------------------------------------- /tests/flow/SWAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SWAssignment.java -------------------------------------------------------------------------------- /tests/flow/SWAssignmentFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SWAssignmentFlowpolicy -------------------------------------------------------------------------------- /tests/flow/SinksTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SinksTest.java -------------------------------------------------------------------------------- /tests/flow/SinksTestFlowpolicy: -------------------------------------------------------------------------------- 1 | READ_SMS -> ANY -------------------------------------------------------------------------------- /tests/flow/SourceAndSink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SourceAndSink.java -------------------------------------------------------------------------------- /tests/flow/SourceAndSinkFlowpolicy: -------------------------------------------------------------------------------- 1 | RECORD_AUDIO -> ANY 2 | 3 | -------------------------------------------------------------------------------- /tests/flow/SourcesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SourcesTest.java -------------------------------------------------------------------------------- /tests/flow/StringConcat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/StringConcat.java -------------------------------------------------------------------------------- /tests/flow/StringConcatFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/StringConcatFlowpolicy -------------------------------------------------------------------------------- /tests/flow/SwitchTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/SwitchTest.java -------------------------------------------------------------------------------- /tests/flow/SwitchTestFlowpolicy: -------------------------------------------------------------------------------- 1 | READ_LOGS->INTERNET -------------------------------------------------------------------------------- /tests/flow/TestLiteralDefaults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/TestLiteralDefaults.java -------------------------------------------------------------------------------- /tests/flow/TypeParameterReturn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/TypeParameterReturn.java -------------------------------------------------------------------------------- /tests/flow/TypeParameterReturnFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/flow/TypeParameterReturnFlowpolicy -------------------------------------------------------------------------------- /tests/hamcrest-core-1.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/hamcrest-core-1.3.jar -------------------------------------------------------------------------------- /tests/intent/ActivityReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ActivityReceiver.java -------------------------------------------------------------------------------- /tests/intent/ActivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ActivityTest.java -------------------------------------------------------------------------------- /tests/intent/ActivityTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ActivityTestComponentmap -------------------------------------------------------------------------------- /tests/intent/ActivityTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/AndroidSystemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/AndroidSystemTest.java -------------------------------------------------------------------------------- /tests/intent/AndroidSystemTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/AndroidSystemTestComponentmap -------------------------------------------------------------------------------- /tests/intent/AndroidSystemTestFlowpolicy: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /tests/intent/ArrayTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ArrayTest.java -------------------------------------------------------------------------------- /tests/intent/ArrayTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY -------------------------------------------------------------------------------- /tests/intent/BReceiverReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/BReceiverReceiver.java -------------------------------------------------------------------------------- /tests/intent/BReceiverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/BReceiverTest.java -------------------------------------------------------------------------------- /tests/intent/BReceiverTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/BReceiverTestComponentmap -------------------------------------------------------------------------------- /tests/intent/BReceiverTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/ConstCheckerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ConstCheckerTest.java -------------------------------------------------------------------------------- /tests/intent/ConstCheckerTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/DataflowInferenceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/DataflowInferenceTest.java -------------------------------------------------------------------------------- /tests/intent/DataflowInferenceTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/DataflowInferenceTestComponentmap -------------------------------------------------------------------------------- /tests/intent/DataflowInferenceTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/DefaultingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/DefaultingTest.java -------------------------------------------------------------------------------- /tests/intent/DefaultingTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/GenericsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/GenericsTest.java -------------------------------------------------------------------------------- /tests/intent/GenericsTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/IntentMapBottomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/IntentMapBottomTest.java -------------------------------------------------------------------------------- /tests/intent/IntentMapBottomTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/IntentMapBottomTestComponentmap -------------------------------------------------------------------------------- /tests/intent/IntentMapBottomTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/NotAllowedAnnos.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/NotAllowedAnnos.java -------------------------------------------------------------------------------- /tests/intent/PolyIntentMapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/PolyIntentMapTest.java -------------------------------------------------------------------------------- /tests/intent/PolyIntentMapTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY -------------------------------------------------------------------------------- /tests/intent/ReceiverIntentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ReceiverIntentTest.java -------------------------------------------------------------------------------- /tests/intent/ServiceReceiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ServiceReceiver.java -------------------------------------------------------------------------------- /tests/intent/ServiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ServiceTest.java -------------------------------------------------------------------------------- /tests/intent/ServiceTestComponentmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/ServiceTestComponentmap -------------------------------------------------------------------------------- /tests/intent/ServiceTestFlowpolicy: -------------------------------------------------------------------------------- 1 | FILESYSTEM -> INTERNET 2 | ACCESS_FINE_LOCATION -> DISPLAY 3 | -------------------------------------------------------------------------------- /tests/intent/TypeRefinement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intent/TypeRefinement.java -------------------------------------------------------------------------------- /tests/intentreceivers/ActivityReceiverStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intentreceivers/ActivityReceiverStub.java -------------------------------------------------------------------------------- /tests/intentreceivers/BReceiverReceiverStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intentreceivers/BReceiverReceiverStub.java -------------------------------------------------------------------------------- /tests/intentreceivers/IntentMapBottom2ReceiverStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intentreceivers/IntentMapBottom2ReceiverStub.java -------------------------------------------------------------------------------- /tests/intentreceivers/IntentMapBottom3ReceiverStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intentreceivers/IntentMapBottom3ReceiverStub.java -------------------------------------------------------------------------------- /tests/intentreceivers/ServiceReceiverStub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/intentreceivers/ServiceReceiverStub.java -------------------------------------------------------------------------------- /tests/junit-4.12.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/junit-4.12.jar -------------------------------------------------------------------------------- /tests/not-reviewed/NotReviewed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/not-reviewed/NotReviewed.java -------------------------------------------------------------------------------- /tests/parameterized/InferParamPermTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/InferParamPermTest.java -------------------------------------------------------------------------------- /tests/parameterized/InferParamPermTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/InferParamPermTestFlowpolicy -------------------------------------------------------------------------------- /tests/parameterized/Issue5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/Issue5.java -------------------------------------------------------------------------------- /tests/parameterized/Issue5Flowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/Issue5Flowpolicy -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedArithmeticsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedArithmeticsTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedArithmeticsTestFlowpolicy: -------------------------------------------------------------------------------- 1 | ACCELEROMETER -> FILESYSTEM 2 | -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedCastTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedCastTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedFlowPolicyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedFlowPolicyTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedFlowPolicyTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedFlowPolicyTestFlowpolicy -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedGenericsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedGenericsTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSinkTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedSinkTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSinkTestFlowpolicy: -------------------------------------------------------------------------------- 1 | READ_SMS -> ANY 2 | 3 | -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSinksSubtypingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedSinksSubtypingTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSinksSubtypingTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedSinksSubtypingTestFlowpolicy -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSourceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedSourceTest.java -------------------------------------------------------------------------------- /tests/parameterized/ParameterizedSourcesSubtypingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/parameterized/ParameterizedSourcesSubtypingTest.java -------------------------------------------------------------------------------- /tests/permissions/FirstCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/permissions/FirstCall.java -------------------------------------------------------------------------------- /tests/permissions/TestSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/permissions/TestSpec.java -------------------------------------------------------------------------------- /tests/policyfile/WithPolicyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/policyfile/WithPolicyTest.java -------------------------------------------------------------------------------- /tests/policyfile/WithPolicyTestFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/policyfile/WithPolicyTestFlowpolicy -------------------------------------------------------------------------------- /tests/policyfile/WithoutPolicyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/policyfile/WithoutPolicyTest.java -------------------------------------------------------------------------------- /tests/reflection/ReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/reflection/ReflectionTest.java -------------------------------------------------------------------------------- /tests/reflection/ReflectionTestFlowpolicy: -------------------------------------------------------------------------------- 1 | READ_SMS -> INTERNET 2 | -------------------------------------------------------------------------------- /tests/report/Android.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/report/Android.java -------------------------------------------------------------------------------- /tests/report/Simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/report/Simple.java -------------------------------------------------------------------------------- /tests/src/tests/AndroidTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/src/tests/AndroidTests.java -------------------------------------------------------------------------------- /tests/strict/ArrayInvariant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/strict/ArrayInvariant.java -------------------------------------------------------------------------------- /tests/strict/ArrayInvariantFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/strict/ArrayInvariantFlowpolicy -------------------------------------------------------------------------------- /tests/stubfile/ConstructorStubAnnotation.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/ConstructorStubAnnotation.astub -------------------------------------------------------------------------------- /tests/stubfile/ConstructorStubAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/ConstructorStubAnnotation.java -------------------------------------------------------------------------------- /tests/stubfile/ConstructorStubAnnotationFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/ConstructorStubAnnotationFlowpolicy -------------------------------------------------------------------------------- /tests/stubfile/StubfileTests.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/StubfileTests.astub -------------------------------------------------------------------------------- /tests/stubfile/StubfileTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/StubfileTests.java -------------------------------------------------------------------------------- /tests/stubfile/StubfileTestsFlowpolicy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/StubfileTestsFlowpolicy -------------------------------------------------------------------------------- /tests/stubfile/stub.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/stub.jar -------------------------------------------------------------------------------- /tests/stubfile/stubfile/ExampleApi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tests/stubfile/stubfile/ExampleApi.java -------------------------------------------------------------------------------- /tools/permissionmap-convert/APICalls-PScout-4.0.1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/APICalls-PScout-4.0.1.txt -------------------------------------------------------------------------------- /tools/permissionmap-convert/APICalls-PScout-4.1.1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/APICalls-PScout-4.1.1.txt -------------------------------------------------------------------------------- /tools/permissionmap-convert/APICalls-Stowaway.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/APICalls-Stowaway.txt -------------------------------------------------------------------------------- /tools/permissionmap-convert/AllAPICalls-PScout-4.0.1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/AllAPICalls-PScout-4.0.1.txt -------------------------------------------------------------------------------- /tools/permissionmap-convert/PermissionMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/PermissionMap.java -------------------------------------------------------------------------------- /tools/permissionmap-convert/Private-APIs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/Private-APIs.txt -------------------------------------------------------------------------------- /tools/permissionmap-convert/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/README -------------------------------------------------------------------------------- /tools/permissionmap-convert/convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/convert.py -------------------------------------------------------------------------------- /tools/permissionmap-convert/permission.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/permission.astub -------------------------------------------------------------------------------- /tools/permissionmap-convert/pscout-convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/permissionmap-convert/pscout-convert.py -------------------------------------------------------------------------------- /tools/susi-convert/GenerateStubFilesFromSuSi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/susi-convert/GenerateStubFilesFromSuSi.java -------------------------------------------------------------------------------- /tools/susi-convert/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/susi-convert/README -------------------------------------------------------------------------------- /tools/susi-convert/susi.astub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/tools/susi-convert/susi.astub -------------------------------------------------------------------------------- /visualization/API Graph Data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/API Graph Data.json -------------------------------------------------------------------------------- /visualization/API Graph.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/API Graph.xhtml -------------------------------------------------------------------------------- /visualization/Flow Graph Data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Flow Graph Data.json -------------------------------------------------------------------------------- /visualization/Flow Graph.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Flow Graph.xhtml -------------------------------------------------------------------------------- /visualization/Output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Output.json -------------------------------------------------------------------------------- /visualization/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/README -------------------------------------------------------------------------------- /visualization/Scripts/API Graph.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Scripts/API Graph.js -------------------------------------------------------------------------------- /visualization/Scripts/Flow Graph.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Scripts/Flow Graph.js -------------------------------------------------------------------------------- /visualization/Scripts/Main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Scripts/Main.js -------------------------------------------------------------------------------- /visualization/Scripts/d3.v2.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Scripts/d3.v2.min.js -------------------------------------------------------------------------------- /visualization/Styles/API Graph.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Styles/API Graph.css -------------------------------------------------------------------------------- /visualization/Styles/Flow Graph.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Styles/Flow Graph.css -------------------------------------------------------------------------------- /visualization/Styles/Graph.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Styles/Graph.css -------------------------------------------------------------------------------- /visualization/Styles/Main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Styles/Main.css -------------------------------------------------------------------------------- /visualization/Visualization.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/visualization/Visualization.xhtml -------------------------------------------------------------------------------- /website/android-heater-shield-w3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/website/android-heater-shield-w3.png -------------------------------------------------------------------------------- /website/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/website/index.html -------------------------------------------------------------------------------- /website/release/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typetools/sparta/HEAD/website/release/index.html --------------------------------------------------------------------------------