nju-websoft/pycre

Conflict-aware Inference of Python Compatible Runtime Environments with Domain Knowledge Graph, ICSE 2022

PyCRE

Conflict-aware Inference of Python Compatible Runtime Environments with Domain Knowledge Graph, ICSE 2022

Dependencies

This project is developed using Python 3.6.9 on Ubuntu 18.04 LTS.

Name	Version
Docker	20.10.8
Docker Compose	1.23.2

Python Package Knowledge Graph

We have opened our knowledge graphs in releases. If you need to create a new knowledge graph, follow the instructions below:

First, you need to install Neo4j 4.1.1 and its required Java version (Java SE 11).

Install extra Python dependencies:

pip install -r build_KG/requirements.txt

Automatically acquire knowledge and build KG for specific Python packages:

python build_KG/run.py <packages_file> <neo4j_HOME> <Python_version>

Load data from CSV files into an unused Neo4j database and dump the database into a single-file archive:

./build_KG/data/Pythonxxx/csv-data/run.sh

NEO4J_HOME/bin/neo4j-admin dump --database=neo4j --to=neo4j.dump

Inference

Move the dump files to the specific folder:

mv py2.dump py3.dump docker_env/neo4j

Build the docker images and start the deamon service:

cd docker_env

./build_images.sh

docker-compose up --detach

Install extra Python dependencies:

pip install -r bin/requirements.txt

Compile CryptoMiniSat SAT solver.

Now, you can use PyCRE to infer a compatible runtime environment to a Python code:

python bin/run.py <snippet_path> <dependencies_dir>

Citation

If you use this work or code, please kindly cite it as follows:

@inproceedings{PyCRE,
  author    = {Wei Cheng and Xiangrong Zhu and Wei Hu},
  title     = {Conflict-aware Inference of Python Compatible Runtime Environments with
               Domain Knowledge Graph},
  booktitle = {International Conference on Software Engineering (ICSE)},
  year      = {2022}
}

pycre's Issues

Docker kill and restarting issue

When I try to run docker-compose I found that py2-neo4j and py3-neo4j can't be started at the same time. When the first starts, the second show this error (and vice versa):
/build-files/load-and-start.sh: line 12: 76 Killed /docker-entrypoint.sh neo4j

No problem when i run docker-compose including only once py2-neo4j or py3-neo4j.

Any ideas on how to resolve this issue?