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