Vi föreslår två kontrollflödesanalyser för Java bytecode. De approximerar säkert den uppsättning tillstånd som beviljas/förnekas kod vid körning. Denna statiska information hjälper optimera genomförandet av stack inspektion algoritm.
Bartolleti m.fl. föreslog två kontrollflödesanalyser för Java bytecode REF.
Static analysis for stack inspection
{'venue': 'In Proceedings of International Workshop on Concurrency and Coordination, Electronic Notes in Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}