Low-Level Library Analysis and Summarization
Abstract elided by the publisher.
Related papers
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ESOP 2017
- Low-Level Bi-Abduction ECOOP 2022
- Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis ECOOP 2021
- Automatic generation of library bindings using static analysis PLDI 2009
- Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks POPL 2015
- Efficient Context-Sensitive Pointer Analysis for C Programs PLDI 1995
- Scalable conditional induction variables (CIV) analysis CGO 2015