Authors

Jingbo Lu Jingling Xue

Description

Eagle is a static acceleration tool for pointer analysis. This work is introduced in our OOPSLA'19 paper titled "Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity", which is the first Precision-Preserving acceleration tool for object-sensitive pointer analysis.

License

GNU Lesser General Public License v2.1

Downloads

Artifact