Abstrakt. De flesta statiska analystekniker för att optimera stack inspektion ungefärliga tillståndsuppsättningar såsom beviljade tillstånd och nekade tillstånd. Eftersom de beräknar behörighetsuppsättningar efter kontrollflöde, tar de vanligtvis in intra-procedural kontrollflöde i beaktande såväl som anropsrelation. I detta dokument konstaterade vi att det är nödvändigt med en mer exakt optimering av stackinspektioner för att beräkna mer specifik information om kontroller i stället för behörigheter. Vi föreslår en bakåtvänd statisk analys baserad på ett enkelt anropsdiagram för ungefärliga kontroller av överflödiga tillstånd som måste misslyckas. På liknande sätt föreslår vi också en bakåtblickande statisk analys för ungefärliga tillståndskontroller, som måste godkännas vid stapelinspektioner.
Chang och Al. REF gav en statisk analys bakåt för att ungefärliga överflödiga tillståndskontroller skulle kunna utföras med inspektion av stackar som måste underkännas och resultatkontroller för tillståndskontroller med kontroll av must-pass stackar.
Static check analysis for Java stack inspection
{'venue': 'SIGP', 'journal': None, 'mag_field_of_study': ['Computer Science']}