Modular Control Flow Analysis for Libraries
No abstract available.
Related papers
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- Iris-WasmFX: Modular Reasoning for Wasm Stack Switching PLDI 2026
- Modular control-flow integrity PLDI 2014
- Flow-directed Inlining PLDI 1996
- A Modular, Polyvariant, and Type-Based Closure Analysis ICFP 1997
- A Modular Static Cost Analysis for GPU Warp-Level Parallelism POPL 2026
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Relevant Context Inference POPL 1999