Jingbo Lu Dongjie He Wei Li Yaoqing Gao Jingling Xue
CodeSum is a stand-alone library summary tool for pointer analysis. This work is introduced in our ASE'23 paper titled "Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis".