Type-Based Information Analysis for Low-Level Languages
No abstract available.
Related papers
- A monadic analysis of information flow security with mutable state JFP 2005
- Flexible Type Analysis ICFP 1999
- LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation CGO 2004
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Practical and Accurate Low-Level Pointer Analysis CGO 2005
- Information flow vs. resource access in the asynchronous pi-calculus TOPLAS 2002
- Stack-based access control and secure information flow JFP 2005
- The impact of optional type information on jit compilation of dynamically typed languages DLS 2011