Static Analysis for Stack Inspection
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari · Electronic Notes in Theoretical Computer Science · 2001
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.