Authors

Dongjie He, Jingbo Lu, and Jingling Xue

Description

This page hosts the source code of Conch, an IFDS-based open-source tool for accelerating object-sensitive pointer analysis algorithms by context-debloating, developed (with extensions) based on our ASE' 21 paper titled "Context Debloating for Object-Sensitive Pointer Analysis".

License

GNU GENERAL PUBLIC LICENSE Version 3

Downloads

Artifact