Welcome to the CodeSum wiki!

# 0 Introduction
This repository is provided as an open-source tool proposed in our ASE'23 paper titled "Automatic Generation and Reuse of Precise
Library Summaries for Object-Sensitive Pointer Analysis".

# 1 Requirements
To run all the analyses, you need to ensure the followings installed:

* JDK 1.8+

* ant

* Python 2.7+
 

# 2 Build
```
$ cd pta
$ ant
```

# 3 Run
```
$ python pta.py -help
```
