Static Detection of Unsafe Component Loadings
No abstract available.
DOI 10.1007/978-3-642-28652-0_7
Related papers
- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection ESOP 2015
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness ECOOP 2025
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Miri: Practical Undefined Behavior Detection for Rust POPL 2026
- Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols TOPLAS 1996
- Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types ECOOP 2022
- Load-Reuse Analysis: Design and Evaluation PLDI 1999