OriginalCompleteBeforeOriginalCompleteAfterBeforeAfterProjectCommitCompilationUnitLineNosNamesTemplateVariableToCodeBeforeRelevantImportsTemplateVariableToCodeAfterisRelevantisSafe
return appInstallMetadata.getAppCertificate();return appInstallMetadata.getInstallerCertificates();appInstallMetadata.getAppCertificate()appInstallMetadata.getInstallerCertificates()platform_frameworks_baseb994372efb98725b1321933ec46be1290584ccebandroid.content.integrity.AtomicFormula.StringAtomicFormula
_1451
_2453
_1getStringMetadataValue
_2getMetadataValue
v0appInstallMetadata
v0appInstallMetadata
ReturnsTrue