Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan
Abstract
There is more than a decade-long history of using static analysis to find bugs in systems such as Linux. Most of the existing static analyses developed for these systems are simple checkers that find bugs based on pattern matching. Despite the presence of many sophisticated interprocedural analyses, few of them have been employed to improve checkers for systems code due to their complex implementations and poor scalability.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 31, 2020
- Source ID
- 10.1145/3466820
Entities
People
- Aftab Hussain
- Ardalan Amiri Sani
- Chenxi Wang
- Guoqing Harry Xu
- Kai Wang
- Linzhang Wang
- Shenming Lu
- Wensheng Dou
- Xuandong Li
- Yiyu Zhang
- Zhiqiang Zuo
Organizations
- Nanjing University
- National Natural Science Foundation of China
- National Science Foundation
- Natural Science Foundation of Jiangsu Province
- Office of Naval Research
- University of California
- University of California, Los Angeles
- University of Chinese Academy of Sciences