Dongjie He Jingbo Lu Jingling Xue
Conch represents the first prototyping tool for supporting context debloating technique in object-sensitive pointer analysis. This work is introduced in our ASE'21 paper titled "Context Debloating for Object-Sensitive Pointer Analysis".