Calling-to-reference context translation via constraint-guided CFL-reachability
Abstract
A calling context is an important piece of information used widely to help developers understand program executions (e.g., for debugging). While calling contexts offer useful control information, information regarding data involved in a bug (e.g., what data structure holds a leaking object), in many cases, can bring developers closer to the bug's root cause. Such data information, often exhibited as heap reference paths, has already been needed by many tools.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 11, 2018
- Source ID
- 10.1145/3296979.3192378
Entities
People
- Cheng Cai
- Guoqing Xu
- Khanh Nguyen
- Qirun Zhang
- Zhendong Su
- Zhiqiang Zuo
Organizations
- Nanjing University
- National Science Foundation
- Office of Naval Research
- University of California, Davis
- University of California, Irvine