We propose two control flow analyses for the Java bytecode. They safely approximate the set of permissions granted/denied to code at run-time. This static information helps optimizing the implementation of the stack inspection algorithm.
Bartolleti et al. proposed two control flow analyses for the Java bytecode REF .
Static analysis for stack inspection
In Proceedings of International Workshop on Concurrency and Coordination, Electronic Notes in Theoretical Computer Science
Computer Science