{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming
No abstract available.
Related papers
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Decompiling for Constant-Time Analysis OOPSLA 2026
- The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently OOPSLA 2024
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Efficient Analysis for Realistic Off-Line Partial Evaluation JFP 1993
- PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs TOPLAS 2019
- Testing static analyses for precision and soundness CGO 2020