An Analysis of the Mozilla Jetpack Extension Framework
No abstract available.
DOI 10.1007/978-3-642-31057-7_16
Related papers
- The essence of compiling with traces POPL 2011
- PASTA: A Modular Program Analysis Tool Framework for Accelerators CGO 2026
- F4F: taint analysis of framework-based web applications OOPSLA 2011
- A Unified Treatment of Flow Analysis in Higher-Order Languages POPL 1995
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Generalizing Shape Analysis with Gradual Types ECOOP 2024
- Taking Back Control in an Intermediate Representation for GPU Computing POPL 2023
- Ensuring non-interference of composable language extensions SLE 2017