Static analysis for stack inspection (2001)
by
Massimo Bartoletti
,
Pierpaolo Degano
,
Gianluigi Ferrari
| Venue: | In Proceedings of International Workshop on Concurrency and Coordination, Electronic Notes in Theoretical Computer Science |
| Citations: | 21 - 4 self |
BibTeX
@INPROCEEDINGS{Bartoletti01staticanalysis,
author = {Massimo Bartoletti and Pierpaolo Degano and Gianluigi Ferrari},
title = {Static analysis for stack inspection},
booktitle = {In Proceedings of International Workshop on Concurrency and Coordination, Electronic Notes in Theoretical Computer Science},
year = {2001},
pages = {2001},
publisher = {Elsevier}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
