Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
No abstract available.
DOI 10.1007/978-3-662-46669-8_2
Related papers
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Static Detection of Unsafe Component Loadings CC 2012
- Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness ECOOP 2025
- ExceLint: automatically finding spreadsheet formula errors OOPSLA 2018
- Static analysis of event-driven Node.js JavaScript applications OOPSLA 2015
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Safer unsafe code for .NET OOPSLA 2008
- CheckCell: data debugging for spreadsheets OOPSLA 2014