SYMBOL INDEX (297 symbols across 33 files)

FILE: example/ADT/src/it/polimi/poccodeloading/ComponentModifier.java
  type ComponentModifier (line 31) | public interface ComponentModifier {
    method customizeButtons (line 33) | public void customizeButtons(List<Button> buttonList);
    method customizeSwitch (line 35) | public void customizeSwitch(Switch switchSlider);
    method customizeTextView (line 37) | public void customizeTextView(TextView textView);

FILE: example/ADT/src/it/polimi/poccodeloading/DexClassSampleActivity.java
  class DexClassSampleActivity (line 56) | public class DexClassSampleActivity extends Activity {
    method onCreate (line 87) | @Override
    method randomContainerPathChoice (line 131) | private String randomContainerPathChoice() {
    method retrieveComponentModifier (line 140) | private ComponentModifier retrieveComponentModifier(String className) {
    method retrieveComponentModifierSecurely (line 212) | private ComponentModifier retrieveComponentModifierSecurely(String cla...
    method onBtnClick (line 312) | public void onBtnClick(View view) {
    method onBtnClickExit (line 368) | public void onBtnClickExit(View view) {

FILE: example/ADT/src/it/polimi/poccodeloading/MainActivity.java
  class MainActivity (line 53) | public class MainActivity extends Activity {
    method onCreate (line 89) | @Override
    method setUpProfileSecureDexClassLoader (line 170) | protected void setUpProfileSecureDexClassLoader() {
    method setUpSecureDexClassLoader (line 264) | protected void setUpSecureDexClassLoader() {
    method setUpDexClassLoader (line 452) | protected void setUpDexClassLoader() {

FILE: example/AS/app/src/main/java/it/polimi/poccodeloading/ComponentModifier.java
  type ComponentModifier (line 30) | public interface ComponentModifier {
    method customizeButtons (line 32) | void customizeButtons(List<Button> buttonList);
    method customizeSwitch (line 34) | void customizeSwitch(Switch switchSlider);
    method customizeTextView (line 36) | void customizeTextView(TextView textView);

FILE: example/AS/app/src/main/java/it/polimi/poccodeloading/DexClassSampleActivity.java
  class DexClassSampleActivity (line 55) | public class DexClassSampleActivity extends Activity {
    method onCreate (line 86) | @Override
    method randomContainerPathChoice (line 130) | private String randomContainerPathChoice() {
    method retrieveComponentModifier (line 139) | private ComponentModifier retrieveComponentModifier(String className) {
    method retrieveComponentModifierSecurely (line 212) | private ComponentModifier retrieveComponentModifierSecurely(String cla...
    method onBtnClick (line 312) | public void onBtnClick(View view) {
    method onBtnClickExit (line 368) | public void onBtnClickExit(View view) {

FILE: example/AS/app/src/main/java/it/polimi/poccodeloading/MainActivity.java
  class MainActivity (line 52) | public class MainActivity extends Activity {
    method onCreate (line 81) | @Override
    method setUpProfileSecureDexClassLoader (line 155) | protected void setUpProfileSecureDexClassLoader() {
    method setUpSecureDexClassLoader (line 247) | protected void setUpSecureDexClassLoader() {
    method setUpDexClassLoader (line 411) | protected void setUpDexClassLoader() {

FILE: gnr/app/src/main/java/it/necst/grabnrun/CacheLogger.java
  class CacheLogger (line 50) | final class CacheLogger {
    method CacheLogger (line 95) | CacheLogger(@NonNull String cacheDirectoryPath, int daysTillConsidered...
    method initializeMapsThroughHelperFile (line 113) | private void initializeMapsThroughHelperFile() {
    method parseLineInHelperFile (line 136) | private void parseLineInHelperFile(String currentLine) {
    method checkLocalFileFreshness (line 170) | private void checkLocalFileFreshness(Long fileCreationTimestamp) {
    method checkForCachedEntry (line 186) | final @NonNull Optional<String> checkForCachedEntry(@NonNull URL remot...
    method addCachedEntryToLog (line 210) | final void addCachedEntryToLog(@NonNull URL remoteURL, @NonNull String...
    method finalizeLog (line 227) | final void finalizeLog() {
    method deletePreviousHelperFile (line 238) | private void deletePreviousHelperFile() {
    method updateHelperFileWithNewMappings (line 244) | private void updateHelperFileWithNewMappings() {
    method getLogLineFromURL (line 266) | private String getLogLineFromURL(URL currentRemoteURL) {

FILE: gnr/app/src/main/java/it/necst/grabnrun/CertificateFileFilterByNameMatch.java
  class CertificateFileFilterByNameMatch (line 31) | final class CertificateFileFilterByNameMatch extends FileFilterByNameMat...
    method CertificateFileFilterByNameMatch (line 45) | CertificateFileFilterByNameMatch(@NonNull String certificateName) {

FILE: gnr/app/src/main/java/it/necst/grabnrun/ContainerSignatureVerifier.java
  class ContainerSignatureVerifier (line 33) | class ContainerSignatureVerifier {
    method ContainerSignatureVerifier (line 40) | ContainerSignatureVerifier(
    method verifyContainerSignatureAgainstCertificate (line 52) | boolean verifyContainerSignatureAgainstCertificate(
    method verifyJARContainer (line 170) | private void verifyJARContainer(

FILE: gnr/app/src/main/java/it/necst/grabnrun/DexPathStringProcessor.java
  class DexPathStringProcessor (line 15) | class DexPathStringProcessor {
    method DexPathStringProcessor (line 24) | DexPathStringProcessor(@NonNull String fullDexPathString) {
    method extractSingleDexPathStringsFromFullOne (line 34) | private List<String> extractSingleDexPathStringsFromFullOne(String ful...
    method hasNextDexPathString (line 44) | public boolean hasNextDexPathString() {
    method nextDexPathString (line 48) | public String nextDexPathString() throws NoSuchElementException {

FILE: gnr/app/src/main/java/it/necst/grabnrun/FileDownloader.java
  class FileDownloader (line 48) | final class FileDownloader {
    method FileDownloader (line 75) | FileDownloader(@NonNull Context parentContext) {
    method downloadRemoteResource (line 100) | final boolean downloadRemoteResource(
    method getDownloadedFileExtension (line 267) | Optional<String> getDownloadedFileExtension() {

FILE: gnr/app/src/main/java/it/necst/grabnrun/FileFilterByNameMatch.java
  class FileFilterByNameMatch (line 34) | class FileFilterByNameMatch implements FileFilter {
    method FileFilterByNameMatch (line 48) | FileFilterByNameMatch(@NonNull String name, @NonNull String extension) {
    method accept (line 58) | @Override

FILE: gnr/app/src/main/java/it/necst/grabnrun/FileHelper.java
  class FileHelper (line 12) | public class FileHelper {
    method extractFilePathWithoutExtensionFromFilePath (line 17) | public static String extractFilePathWithoutExtensionFromFilePath(@NonN...
    method extractFileNameWithoutExtensionFromFilePath (line 23) | public static String extractFileNameWithoutExtensionFromFilePath(@NonN...
    method extractSubstringWithoutExtensionFromString (line 29) | private static String extractSubstringWithoutExtensionFromString(@NonN...
    method extractFileNameFromFilePath (line 39) | public static String extractFileNameFromFilePath(@NonNull String fileP...
    method extractExtensionFromFilePath (line 50) | public static Optional<String> extractExtensionFromFilePath(@NonNull S...
    method endsWithJarOrApkExtension (line 61) | public static boolean endsWithJarOrApkExtension(@NonNull String filePa...
    method checkPreconditionsOnFilePath (line 75) | private static void checkPreconditionsOnFilePath(@NonNull String fileP...

FILE: gnr/app/src/main/java/it/necst/grabnrun/PackageNameHelper.java
  class PackageNameHelper (line 13) | public class PackageNameHelper {
    method isAValidPackageName (line 22) | public static boolean isAValidPackageName(@NonNull String candidatePac...
    method revertPackageNameToURL (line 42) | public static URL revertPackageNameToURL(@NonNull String candidatePack...

FILE: gnr/app/src/main/java/it/necst/grabnrun/PackageNameTrie.java
  class PackageNameTrie (line 38) | final class PackageNameTrie {
    method PackageNameTrie (line 49) | PackageNameTrie() {
    method generateEntriesForPackageName (line 69) | final void generateEntriesForPackageName(String packageName) {
    method getUpALevel (line 98) | private String getUpALevel(String packageName) {
    method setPackageNameHasAssociatedCertificate (line 118) | final void setPackageNameHasAssociatedCertificate(String packageName) {
    method getPackageNameWithAssociatedCertificate (line 139) | final Optional<String> getPackageNameWithAssociatedCertificate(String ...

FILE: gnr/app/src/main/java/it/necst/grabnrun/SecureDexClassLoader.java
  class SecureDexClassLoader (line 112) | public class SecureDexClassLoader {
    method SecureDexClassLoader (line 160) | @VisibleForTesting SecureDexClassLoader(
    method generatePackageNameToContainerPathMap (line 200) | private static Map<String, String> generatePackageNameToContainerPathMap(
    method getPackageNamesFromContainerPath (line 239) | private static Optional<ImmutableSet<String>> getPackageNamesFromConta...
    method initializePackageNameTrieBasedOnContainerAndCertificateMaps (line 333) | private static PackageNameTrie initializePackageNameTrieBasedOnContain...
    method performEagerEvaluationOnAllContainers (line 349) | private void performEagerEvaluationOnAllContainers() {
    method verifyAllContainersSignature (line 369) | private void verifyAllContainersSignature() {
    method verifyAllContainersSignatureConcurrently (line 457) | private void verifyAllContainersSignatureConcurrently(Set<String> cont...
    class SignatureVerificationTask (line 579) | class SignatureVerificationTask implements Runnable {
      method SignatureVerificationTask (line 588) | public SignatureVerificationTask(String containerPath, String rootPa...
      method run (line 596) | @Override
    method loadClass (line 651) | public Class<?> loadClass(@NonNull String className) throws ClassNotFo...
    method importCertificateFromPackageName (line 811) | private X509Certificate importCertificateFromPackageName(String packag...
    method importCertificateFromAppPrivateDir (line 846) | private X509Certificate importCertificateFromAppPrivateDir(String pack...
    method downloadCertificateRemotelyViaHttps (line 928) | private boolean downloadCertificateRemotelyViaHttps(String packageName) {
    method wipeOutPrivateAppCachedData (line 962) | public void wipeOutPrivateAppCachedData(boolean containerPrivateFolder...

FILE: gnr/app/src/main/java/it/necst/grabnrun/SecureLoaderFactory.java
  class SecureLoaderFactory (line 60) | public class SecureLoaderFactory {
    method SecureLoaderFactory (line 108) | public SecureLoaderFactory(Context parentContext) {
    method SecureLoaderFactory (line 134) | public SecureLoaderFactory(Context parentContext, int daysBeforeContai...
    method createDexClassLoader (line 196) | public SecureDexClassLoader createDexClassLoader(
    method createDexClassLoader (line 255) | public SecureDexClassLoader createDexClassLoader(
    method checkPreconditionsOnArgumentsForSecureDexClassLoaderCreation (line 307) | private static void checkPreconditionsOnArgumentsForSecureDexClassLoad...
    method processDexPathStringAndImportContainers (line 328) | private String processDexPathStringAndImportContainers(String dexPath,...
    method isARemoteHttpOrHttpsResource (line 372) | private static boolean isARemoteHttpOrHttpsResource(String resourcePat...
    method processPathPointingToARemoteContainer (line 377) | private Optional<String> processPathPointingToARemoteContainer(
    method processPathPointingToALocallyStoredContainer (line 461) | private Optional<String> processPathPointingToALocallyStoredContainer(
    method computeDigestFromFilePath (line 540) | private String computeDigestFromFilePath(String filePath) {
    method processPackageNameToCertificateMap (line 582) | private Map<String, URL> processPackageNameToCertificateMap(
    method downloadContainerIntoFolder (line 621) | private String downloadContainerIntoFolder(String urlPath, File resOut...

FILE: gnr/app/src/test/java/it/necst/grabnrun/CacheLoggerTest.java
  class CacheLoggerTest (line 17) | @RunWith(MockitoJUnitRunner.class)
    method givenNotPositiveIntegerForDaysTillConsideredFresh_whenCreateCacheLogger_thenThrows (line 26) | @Test (expected = IllegalArgumentException.class)
    method givenNoHelperFileWasStored_whenCheckForCachedEntry_thenReturnsAnAbsentOptional (line 35) | @Test
    method givenNoHelperFileWasStoredAndAddAURLAsACachedEntry_whenCheckForCachedEntryWithADifferentURL_thenReturnsAnAbsentOptional (line 49) | @Test
    method givenNoHelperFileWasStoredAndAddAURLAsACachedEntry_whenCheckForCachedEntryWithThatURL_thenReturnsTheLocalFileName (line 65) | @Test
    method givenNoHelperFileWasStoredAndCacheLoggerIsFinalizedAndAURLIsAddedAsACachedEntry_whenCheckForCachedEntryWithThatURL_thenReturnsAnAbsentOptional (line 82) | @Test
    method givenHelperFileWasStoredWithAURLAsACachedEntry_whenCheckForCachedEntryWithThatURLOnANewCacheLogger_thenReturnsTheLocalFileName (line 99) | @Test
    method initializeCacheLoggerWithTestValues (line 119) | private CacheLogger initializeCacheLoggerWithTestValues() {
    method getTemporaryFolderPath (line 124) | private String getTemporaryFolderPath() {
    method createFakeLocalFileAndAddItsNameToTheCacheLogger (line 128) | private String createFakeLocalFileAndAddItsNameToTheCacheLogger(
    method computeFileNameFromURL (line 136) | private String computeFileNameFromURL(URL testRemoteURL) {

FILE: gnr/app/src/test/java/it/necst/grabnrun/CertificateFileFilterByNameMatchTest.java
  class CertificateFileFilterByNameMatchTest (line 16) | @RunWith(MockitoJUnitRunner.class)
    method initializeCertificateFileFilterWithTestCertificateName (line 31) | @Before
    method givenAnEmptyFileName_whenCreateCertificateFileFilter_thenThrows (line 36) | @Test (expected = IllegalArgumentException.class)
    method givenADirectory_whenAccept_thenReturnFalse (line 41) | @Test
    method givenAFileWithMatchingFileNameButUnsupportedExtension_whenAccept_thenReturnFalse (line 53) | @Test
    method givenAFileWithSupportedExtensionButNotMatchingFileName_whenAccept_thenReturnFalse (line 67) | @Test
    method givenAFileWithMatchingFileNameAndSupportedExtension_whenAccept_thenReturnTrue (line 81) | @Test
    method setupFileMockAsADirectory (line 95) | private void setupFileMockAsADirectory(boolean shouldBeADirectory) {

FILE: gnr/app/src/test/java/it/necst/grabnrun/ContainerSignatureVerifierTest.java
  class ContainerSignatureVerifierTest (line 35) | @RunWith(MockitoJUnitRunner.class)
    method initializeTestContainerSignatureVerifierAndSetupMocks (line 61) | @Before
    method givenAnEmptyContainerPath_whenVerifyContainerAgainstCertificate_thenThrows (line 75) | @Test (expected = IllegalArgumentException.class)
    method givenAnUnsignedJarContainer_whenVerifyContainerAgainstCertificate_thenThrows (line 82) | @Test (expected = IllegalArgumentException.class)
    method givenAnUnsignedJarContainer_whenVerifyContainerAgainstCertificate_thenReturnsFalse (line 95) | @Test
    method givenAJarContainerSignedWithAnOtherTrustedCertificate_whenVerifyContainerAgainstCertificate_thenReturnsFalse (line 107) | @Test
    method givenARepackagedJarContainerPreviouslySignedWithTheTrustedCertificate_whenVerifyContainerAgainstCertificate_thenReturnsFalse (line 124) | @Test
    method givenAJarContainerSignedWithTheTrustedCertificate_whenVerifyContainerAgainstCertificate_thenReturnsTrue (line 137) | @Test
    method retrieveAndGenerateTrustedCertificate (line 150) | private X509Certificate retrieveAndGenerateTrustedCertificate(
    method downloadRemoteResourceIntoTemporaryFolder (line 166) | private String downloadRemoteResourceIntoTemporaryFolder(String remote...

FILE: gnr/app/src/test/java/it/necst/grabnrun/DexPathStringProcessorTest.java
  class DexPathStringProcessorTest (line 16) | @RunWith(MockitoJUnitRunner.class)
    method givenAnEmptyDexPath_whenCreateDexPathStringProcessor_thenThrows (line 29) | @Test (expected = IllegalArgumentException.class)
    method givenASingleTestLocalPath_whenHasNextDexPathString_thenReturnsTrue (line 35) | @Test
    method givenASingleTestLocalPath_whenNextDexPathString_thenReturnsTheTestLocalPath (line 47) | @Test
    method givenASingleTestRemoteHttpPath_whenHasNextDexPathString_thenReturnsTrue (line 59) | @Test
    method givenASingleTestRemoteHttpPath_whenNextDexPathString_thenReturnsTheTestRemoteHttpPath (line 71) | @Test
    method givenASingleTestRemoteHttpsPath_whenHasNextDexPathString_thenReturnsTrue (line 83) | @Test
    method givenASingleTestRemoteHttpsPath_whenNextDexPathString_thenReturnsTheTestRemoteHttpsPath (line 95) | @Test
    method givenATestDexPathWhichConcatenatesThreePaths_whenHasNextDexPathString_thenReturnsTrueThreeTimesAndFalseAtTheFourth (line 107) | @Test
    method givenATestDexPathWhichConcatenatesThreePaths_whenNextDexPathString_thenReturnsThreeStringsInTheSameOrderOfTheInputDexPath (line 122) | @Test
    method givenATestDexPathWhichConcatenatesThreePaths_whenNextDexPathString_thenThrowsAfterThirdInvocation (line 133) | @Test (expected = NoSuchElementException.class)
    method concatenateDexPathStrings (line 145) | private static String concatenateDexPathStrings(String... dexPathStrin...

FILE: gnr/app/src/test/java/it/necst/grabnrun/FileDownloaderTest.java
  class FileDownloaderTest (line 28) | @RunWith(MockitoJUnitRunner.class)
    method setupMocksForFileDownloader (line 48) | @Before
    method givenNoNetworkConnectivityIsAvailable_whenDownloadRemoteResource_thenDownloadFailsAndRetrievesNoFile (line 57) | @Test
    method givenNetworkConnectivityIsAvailable_whenDownloadRemoteResourceWithTestURLUsingUnsupportedProtocol_thenThrows (line 76) | @Test (expected = IllegalArgumentException.class)
    method givenNetworkConnectivityIsAvailable_whenDownloadRemoteResourceWithTestRemoteCertificateURL_thenDownloadSucceedsAndRetrievesAFile (line 90) | @Test
    method givenNetworkConnectivityIsAvailableAndNoRedirectIsAllowed_whenDownloadRemoteResourceWithTestRemoteCertificateURLNeedingRedirect_thenDownloadFailsAndRetrievesNoFile (line 108) | @Test
    method givenNetworkConnectivityIsAvailableAndRedirectIsAllowed_whenDownloadRemoteResourceWithTestRemoteCertificateURLNeedingRedirect_thenDownloadSucceedsAndRetrievesAFile (line 127) | @Test
    method givenNoRemoteResourceWasPreviouslyDownloaded_whenGetDownloadedFileExtension_thenReturnsAnOptionalAbsent (line 146) | @Test
    method givenRemoteResourceWasPreviouslyDownloaded_whenGetDownloadedFileExtension_thenReturnsAnOptionalStringMatchingTheFileExtension (line 156) | @Test
    method givenRemoteResourceRequiringRedirectWasPreviouslyDownloaded_whenGetDownloadedFileExtension_thenReturnsAnOptionalStringMatchingTheFileExtension (line 175) | @Test
    method getLocalFileURIInTemporaryTestDirectory (line 195) | private String getLocalFileURIInTemporaryTestDirectory(String localFil...
    method fileExists (line 199) | private static boolean fileExists(String path) {

FILE: gnr/app/src/test/java/it/necst/grabnrun/FileFilterByNameMatchTest.java
  class FileFilterByNameMatchTest (line 14) | @RunWith(MockitoJUnitRunner.class)
    method givenAnEmptyFileName_whenCreateFileFilter_thenThrows (line 33) | @Test (expected = IllegalArgumentException.class)
    method givenAFileExtensionNotMatchingDotAndThreeCharacters_whenCreateFileFilter_thenThrows (line 38) | @Test (expected = IllegalArgumentException.class)
    method givenAFileExtensionWithFourUppercaseCharacters_whenCreateFileFilter_thenTheTestSucceeds (line 43) | @Test
    method givenADirectory_whenAccept_thenReturnFalse (line 48) | @Test
    method givenAFileWithMatchingFileNameButNotExtension_whenAccept_thenReturnFalse (line 61) | @Test
    method givenAFileWithMatchingExtensionButNotName_whenAccept_thenReturnFalse (line 76) | @Test
    method givenAFileWithMatchingNameAndExtension_whenAccept_thenReturnTrue (line 91) | @Test
    method initializeFileFilterWithTestValues (line 106) | private void initializeFileFilterWithTestValues() {
    method setupFileMockAsADirectory (line 110) | private void setupFileMockAsADirectory(boolean shouldBeADirectory) {

FILE: gnr/app/src/test/java/it/necst/grabnrun/FileHelperTest.java
  class FileHelperTest (line 20) | @RunWith(MockitoJUnitRunner.class)
    method givenAnEmptyFilePath_whenExtractFilePathWithoutExtensionFromFilePath_thenThrows (line 37) | @Test (expected = IllegalArgumentException.class)
    method givenFileNameWithoutExtension_whenExtractFilePathWithoutExtensionFromFilePath_thenReturnsTheSameString (line 46) | @Test
    method givenFileNameWithExtension_whenExtractFilePathWithoutExtensionFromFilePath_thenReturnsTheFileNameWithoutTheExtension (line 56) | @Test
    method givenFilePathWithoutExtension_whenExtractFilePathWithoutExtensionFromFilePath_thenReturnsTheSameString (line 66) | @Test
    method givenFilePathWithExtension_whenExtractFilePathWithoutExtensionFromFilePath_thenReturnsTheFilePathWithoutTheExtension (line 76) | @Test
    method givenAnEmptyFilePath_whenExtractFileNameWithoutExtensionFromFilePath_thenThrows (line 86) | @Test (expected = IllegalArgumentException.class)
    method givenAFilePathWithoutAFileNameAndExtension_whenExtractFileNameWithoutExtensionFromFilePath_thenReturnsAnEmptyString (line 95) | @Test
    method givenFileNameWithoutExtension_whenExtractFileNameWithoutExtensionFromFilePath_thenReturnsTheSameString (line 104) | @Test
    method givenFileNameWithExtension_whenExtractFileNameWithoutExtensionFromFilePath_thenReturnsTheFileNameWithoutTheExtension (line 114) | @Test
    method givenFilePathWithoutExtension_whenExtractFileNameWithoutExtensionFromFilePath_thenReturnsTheFileNameWithoutTheExtension (line 124) | @Test
    method givenFilePathWithExtension_whenExtractFileNameWithoutExtensionFromFilePath_thenReturnsTheFileNameWithoutTheExtension (line 134) | @Test
    method givenAnEmptyFilePath_whenExtractFileNameFromFilePath_thenThrows (line 144) | @Test (expected = IllegalArgumentException.class)
    method givenAFilePathWithoutAFileNameAndExtension_whenExtractFileNameFromFilePath_thenReturnsAnEmptyString (line 153) | @Test
    method givenFileNameWithoutExtension_whenExtractFileNameFromFilePath_thenReturnsTheSameString (line 162) | @Test
    method givenFileNameWithExtension_whenExtractFileNameFromFilePath_thenReturnsTheSameString (line 171) | @Test
    method givenFilePathWithoutExtension_whenExtractFileNameFromFilePath_thenReturnsTheFileName (line 180) | @Test
    method givenFilePathWithExtension_whenExtractFileNameFromFilePath_thenReturnsTheFileName (line 189) | @Test
    method givenAnEmptyFilePath_whenExtractExtensionFromFilePath_thenThrows (line 199) | @Test (expected = IllegalArgumentException.class)
    method givenAFileNameWithNoExtensionOnTheFile_whenExtractExtensionFromFilePath_thenReturnsAnAbsentOptional (line 208) | @Test
    method givenAFilePathWithNoExtensionOnTheFile_whenExtractExtensionFromFilePath_thenReturnsAnAbsentOptional (line 218) | @Test
    method givenAFileNameWithExtensionForTheFile_whenExtractExtensionFromFilePath_thenReturnsAnOptionalContainingTheExtension (line 228) | @Test
    method givenAFilePathWithExtensionForTheFile_whenExtractExtensionFromFilePath_thenReturnsAnOptionalContainingTheExtension (line 238) | @Test
    method givenAnEmptyFilePath_whenEndsWithJarOrApkExtension_thenThrows (line 248) | @Test (expected = IllegalArgumentException.class)
    method givenAFileNameWithNoExtension_whenEndsWithJarOrApkExtension_thenReturnsFalse (line 257) | @Test
    method givenAFileNameWithANotContainerExtension_whenEndsWithJarOrApkExtension_thenReturnsFalse (line 263) | @Test
    method givenAFileExtensionNotForAContainer_whenEndsWithJarOrApkExtension_thenReturnsFalse (line 270) | @Test
    method givenAFileExtensionForAContainer_whenEndsWithJarOrApkExtension_thenReturnsTrue (line 276) | @Test
    method givenAFileNameWithAContainerExtension_whenEndsWithJarOrApkExtension_thenReturnsTrue (line 282) | @Test
    method givenAFilePathWithAContainerExtension_whenEndsWithJarOrApkExtension_thenReturnsTrue (line 288) | @Test

FILE: gnr/app/src/test/java/it/necst/grabnrun/PackageNameHelperTest.java
  class PackageNameHelperTest (line 15) | public class PackageNameHelperTest {
    method givenAnEmptyPackageName_whenIsAValidPackageName_thenReturnFalse (line 32) | @Test
    method givenAPackageNameStartingWithADot_whenIsAValidPackageName_thenReturnFalse (line 44) | @Test
    method givenAPackageNameWithAnEmptyFieldBetweenTwoDots_whenIsAValidPackageName_thenReturnFalse (line 53) | @Test
    method givenAPackageNameEndingWithADot_whenIsAValidPackageName_thenReturnFalse (line 63) | @Test
    method givenAPackageNameWithOnlyOneField_whenIsAValidPackageName_thenReturnFalse (line 72) | @Test
    method givenAPackageNameWithAtLeastTwoFieldsSeparatedByASingleDot_whenIsAValidPackageName_thenReturnTrue (line 81) | @Test
    method givenANotValidPackageName_whenRevertPackageNameToURL_thenThrows (line 90) | @Test (expected = IllegalArgumentException.class)
    method givenAValidPackageNameWithTwoFields_whenRevertPackageNameToURL_thenReturnsTheRevertedPackageNameAsDomainName (line 96) | @Test
    method givenAValidPackageNameWithThreeOrMoreFields_whenRevertPackageNameToURL_thenReturnsTheRevertedTwoFieldsOfPackageNameAsDomainNameAndTheRestAsFilePart (line 107) | @Test

FILE: gnr/app/src/test/java/it/necst/grabnrun/PackageNameTrieTest.java
  class PackageNameTrieTest (line 13) | @RunWith(MockitoJUnitRunner.class)
    method initializePackageNameTrie (line 26) | @Before
    method givenNoEntriesForPackageNameWereGenerated_whenGetPackageNameWithAssociatedCertificate_thenReturnsAnAbsentOptional (line 31) | @Test
    method givenEntriesForTestPackageNameWereGeneratedButNoPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificate_thenReturnsAnAbsentOptional (line 41) | @Test
    method givenNoEntriesForTestPackageNameWereGeneratedButPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificate_thenReturnsAnAbsentOptional (line 54) | @Test
    method givenEntriesForTestPackageNameWereGeneratedAndTestPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificate_thenReturnsAnOptionalOfTestPackageName (line 67) | @Test
    method givenEntriesForTestPackageNameWereGeneratedAndPrefixOfTestPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificateWithTestPackageName_thenReturnsAnOptionalOfPrefixOfTestPackageName (line 83) | @Test
    method givenEntriesForTestPackageNameWereGeneratedAndTestPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificateWithPrefixOfTestPackageName_thenReturnsAnAbsentOptional (line 99) | @Test
    method givenEntriesForTestPackageNameAndAnotherPackageNameWithNoCommonPrefixWereGeneratedAndPrefixOfTestPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificateWithTheOtherTestPackageName_thenReturnsAnAbsentOptional (line 113) | @Test
    method givenEntriesForTestPackageNameAndAnotherPackageNameWithACommonPrefixWereGeneratedAndPrefixOfTestPackageNameWasSetToHaveACertificate_whenGetPackageNameWithAssociatedCertificateWithTheOtherTestPackageName_thenReturnsAnOptionalOfPrefixOfTestPackageName (line 129) | @Test

FILE: gnr/app/src/test/java/it/necst/grabnrun/SecureDexClassLoaderTest.java
  class SecureDexClassLoaderTest (line 57) | @RunWith(RobolectricGradleTestRunner.class)
    method setupMocksForSecureDexClassLoader (line 126) | @Before
    method givenASecureDexClassLoaderWithAContainerAndACertificateForVerification_whenLoadClassWithAnEmptyClassName_thenThrows (line 166) | @Test (expected = IllegalArgumentException.class)
    method givenASecureDexClassLoaderWithAContainerAndNoCertificateForItsPackageNameForVerification_whenLoadClassInTheContainerWithEagerEvaluation_thenRemovesRetrievedContainerAndReturnsNull (line 179) | @Test
    method givenASecureDexClassLoaderWithAContainerAndNoCertificateForItsPackageNameForVerification_whenLoadClassInTheContainerWithLazyEvaluation_thenImportsRetrievedContainerButReturnsNull (line 199) | @Test
    method givenASecureDexClassLoaderWithARepackedContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithEagerEvaluation_thenRemovesRetrievedContainerAndReturnsNull (line 219) | @Test
    method givenASecureDexClassLoaderWithARepackedContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithLazyEvaluation_thenRemovesRetrievedContainerAndReturnsNull (line 237) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateNotUsedForSigningTheContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithEagerEvaluation_thenRemovesRetrievedContainerAndReturnsNull (line 255) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateNotUsedForSigningTheContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithLazyEvaluation_thenRemovesRetrievedContainerAndReturnsNull (line 275) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassNotInTheContainerWithEagerEvaluation_thenImportRetrievedContainerButThrows (line 295) | @Test (expected = ClassNotFoundException.class)
    method givenASecureDexClassLoaderWithAContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassNotInTheContainerWithLazyEvaluation_thenImportRetrievedContainerButThrows (line 312) | @Test (expected = ClassNotFoundException.class)
    method givenASecureDexClassLoaderWithAContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithEagerEvaluation_thenImportRetrievedContainerAndReturnsAClassInstance (line 329) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadClassInTheContainerWithLazyEvaluation_thenImportRetrievedContainerAndReturnsAClassInstance (line 350) | @Test
    method givenASecureDexClassLoaderWithAnAPKContainerAndACertificateUsedToSignThatContainerForItsPackageNameForVerification_whenLoadMultipleClassesInTheContainerWhosePackageNameHasTheVerifiedOneAsPrefix_thenReturnsMultipleNotNullClassInstances (line 371) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateAssociatedToIt_whenWipeOutPrivateAppCachedDataForNoneContainersAndCertificates_thenAllImportedFilesAreNotErasedAndLoadClassReturnsAClass (line 423) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateAssociatedToIt_whenWipeOutPrivateAppCachedDataForContainers_thenAllImportedContainersAreErasedAndLoadClassReturnsNull (line 445) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateAssociatedToIt_whenWipeOutPrivateAppCachedDataForCertificates_thenAllImportedCertificatesAreErasedAndLoadClassReturnsNull (line 467) | @Test
    method givenASecureDexClassLoaderWithAContainerAndACertificateAssociatedToIt_whenWipeOutPrivateAppCachedDataForBothContainersAndCertificates_thenAllImportedFilesAreErasedAndLoadClassReturnsNull (line 489) | @Test
    method initializeSecureDexClassLoaderWithTestValues (line 511) | private SecureDexClassLoader initializeSecureDexClassLoaderWithTestVal...
    method downloadRemoteContainerIntoTemporaryImportedContainersFolder (line 525) | private String downloadRemoteContainerIntoTemporaryImportedContainersF...
    method retrieveAndGenerateTrustedCertificate (line 531) | private X509Certificate retrieveAndGenerateTrustedCertificate(
    method downloadRemoteResourceIntoTemporaryFolder (line 547) | private String downloadRemoteResourceIntoTemporaryFolder(
    method assertThatNoFileIsPresentInTheImportedContainersFolderMatchingTheFilter (line 564) | private void assertThatNoFileIsPresentInTheImportedContainersFolderMat...
    method assertThatOnlyOneFileIsPresentInTheImportedContainersFolderMatchingTheFilter (line 570) | private void assertThatOnlyOneFileIsPresentInTheImportedContainersFold...
    method assertThatNoFileIsPresentInTheImportedCertificateFolderMatchingTheFilter (line 576) | private void assertThatNoFileIsPresentInTheImportedCertificateFolderMa...
    method assertThatOnlyOneFileIsPresentInTheImportedCertificateFolderMatchingTheFilter (line 582) | private void assertThatOnlyOneFileIsPresentInTheImportedCertificateFol...
    method assertThatFileIsPresentInTheTemporaryFolderMatchingTheFilterInQuantity (line 588) | private void assertThatFileIsPresentInTheTemporaryFolderMatchingTheFil...

FILE: gnr/app/src/test/java/it/necst/grabnrun/SecureLoaderFactoryTest.java
  class SecureLoaderFactoryTest (line 44) | @RunWith(RobolectricGradleTestRunner.class)
    method setupMocksForSecureLoaderFactory (line 75) | @Before
    method givenANonPositiveNumberOfDaysBeforeContainerCacheExpiration_whenCreateSecureLoaderFactory_thenThrows (line 100) | @Test (expected = IllegalArgumentException.class)
    method givenAnEmptyDexPath_whenCreateDexClassLoader_thenThrows (line 109) | @Test (expected = IllegalArgumentException.class)
    method givenADexPathPointingToARemoteResourceButThePackageNameToCertificateMapIsEmpty_whenCreateDexClassLoader_thenThrows (line 119) | @Test (expected = IllegalArgumentException.class)
    method givenADexPathPointingToARemoteResourceAndThePackageNameToCertificateMapContainsPackageNamesAssociatedToNullValues_whenCreateDexClassLoader_thenReturnsASecureDexClassLoaderObject (line 132) | @Test
    method givenADexPathPointingToARemoteResourceAndThePackageNameOfTheTargetClassHasACertificate_whenCreateDexClassLoader_thenReturnsASecureDexClassLoaderObject (line 149) | @Test
    method givenADexPathPointingToALocalResourceAndThePackageNameOfTheTargetClassHasACertificate_whenCreateDexClassLoader_thenReturnsASecureDexClassLoaderObject (line 162) | @Test
    method downloadRemoteContainerIntoTemporaryFolderHoldingALocalContainer (line 179) | private String downloadRemoteContainerIntoTemporaryFolderHoldingALocal...

FILE: gnr/app/src/test/java/it/necst/grabnrun/shadows/BaseDexClassLoaderShadow.java
  class BaseDexClassLoaderShadow (line 10) | @Implements(BaseDexClassLoader.class)
    method __constructor__ (line 18) | public void __constructor__(

FILE: gnr/app/src/test/java/it/necst/grabnrun/shadows/DexFileShadow.java
  class DexFileShadow (line 11) | @Implements(DexFile.class)
    method setDexFileShadow (line 15) | public static void setDexFileShadow(DexFile dexFile) {
    method loadDex (line 19) | @Implementation
    method entries (line 24) | @Implementation

FILE: repackPOC/RepackInputSelector/src/it/necst/grabnrun/selector/LinkContainerDialog.java
  class LinkContainerDialog (line 39) | public class LinkContainerDialog extends Dialog {
    method LinkContainerDialog (line 64) | public LinkContainerDialog(	Frame owner,
    method validateInput (line 226) | private void validateInput() {
    method saveAndFinish (line 388) | private void saveAndFinish(Map<String, String> keyToCertificateURLMap,
    method finish (line 441) | private void finish(boolean isCorrectTermination) {
    method isValidRemoteCertURL (line 454) | private boolean isValidRemoteCertURL(String candidateURLString) {
    method isValidPackageName (line 477) | private boolean isValidPackageName(String candidatePackNameString) {

FILE: repackPOC/RepackInputSelector/src/it/necst/grabnrun/selector/MainFrame.java
  class MainFrame (line 28) | public class MainFrame extends Frame {
    method main (line 50) | public static void main(String[] args) {
    method MainFrame (line 56) | private MainFrame() {
    method buildContent (line 76) | private void buildContent() {
    method updateContainerBoxes (line 179) | private void updateContainerBoxes(Integer boxToShow) {
    method apkChoose (line 211) | private void apkChoose() {
    method next (line 250) | private void next() {
    method quit (line 310) | private void quit() {

FILE: repackPOC/repackagingTool.py
  function isAValidContainer (line 57) | def isAValidContainer(containerPath, onlyAPKallowed = False):
  function isARemoteURL (line 90) | def isARemoteURL(candidateRemoteURL, onlyHTTPSrequired = False):
  function isAValidPackageName (line 104) | def isAValidPackageName(candidatePackageName):
  function downloadRemoteContainer (line 122) | def downloadRemoteContainer(containerRemoteURL):
  function extractPackageNamesFromLocalContainer (line 148) | def extractPackageNamesFromLocalContainer(containerPath):
  function computeDigestEncode (line 217) | def computeDigestEncode(filePath):
  function decodeTargetAPK (line 238) | def decodeTargetAPK(apkPath):
  function buildRepackagedAPK (line 264) | def buildRepackagedAPK(decodeDirName):
  function performAnalysis (line 285) | def performAnalysis(apkPath):
  function addMissingPermsToAndroidManifest (line 380) | def addMissingPermsToAndroidManifest(decodeDirName, missingPerms):
  function addBlankPadding (line 414) | def addBlankPadding(line):
  function patchSmaliClasses (line 423) | def patchSmaliClasses(decodeDirName, classesWithDynCodeLoad):
  function setUpRepackHandler (line 599) | def setUpRepackHandler(decodeDirName, hasStaticAssociativeMap, entriesDi...
  function makeOneWriteIteration (line 719) | def makeOneWriteIteration(repackHandlerFile, needToReinitializePackageNa...
  function reinitializeSet (line 747) | def reinitializeSet(repackHandlerFile):
  function insertPackageNameInSet (line 756) | def insertPackageNameInSet(repackHandlerFile, packageName):
  function linkContainerToCurrentPackageNameSet (line 763) | def linkContainerToCurrentPackageNameSet(repackHandlerFile, container):
  function linkPackageNameToCertURL (line 771) | def linkPackageNameToCertURL(repackHandlerFile, packageName, certificate...
  function setHasStaticAssociativeMapBool (line 780) | def setHasStaticAssociativeMapBool(repackHandlerFile, boolValue):
  function main (line 789) | def main(argv):