Stack inspektion är en mekanism för programmering säkra applikationer med vilken en metod kan få information från anropstacken om den kod som (direkt eller indirekt) åberopade den. Denna mekanism spelar en grundläggande roll i säkerhetsarkitekturen av Java och.NET Common Language Runtime. Ett centralt problem med stackinspektioner är att avgöra i vilken utsträckning de lokala kontroller som införs i koden är tillräckliga för att garantera att en global säkerhetsfastighet upprätthålls. I det här dokumentet presenterar vi en teknik för att komma fram till ett säkert samtalssammanhang för en metod. Med en säker samtalskontext menar vi en förutsättning på call stacken som är tillräcklig för att garantera att genomförandet av metoden inte kommer att bryta mot en given global egendom. Detta är särskilt användbart för att annotera bibliotekskod för att undvika att behöva omanalysera bibliotek för varje nytt program. Tekniken är en restriktion-baserad statisk programanalys som genomförs via fast punkt iteration över en abstrakt domän av linjära tidslogiska egenskaper.
Baserat på samma modell, utvecklar REF en statisk analys som beräknar, för varje metod, uppsättningen av dess säkra samtal sammanhang med avseende på en given global egendom.
Secure calling contexts for stack inspection
{'venue': "PPDP '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}