Skip to content

fix(security): formalize upgrade scope invariants and anti-redirection verification - #389

Draft
s6pa1rta3n-lab wants to merge 1 commit into
Stellar-Analysis:mainfrom
s6pa1rta3n-lab:fix-issue-381
Draft

fix(security): formalize upgrade scope invariants and anti-redirection verification#389
s6pa1rta3n-lab wants to merge 1 commit into
Stellar-Analysis:mainfrom
s6pa1rta3n-lab:fix-issue-381