An open-source program analysis toolchain for verifiable compatibility maintenance of Python and AI software under library evolution.
Modern Python and AI software systems heavily depend on rapidly evolving third-party libraries. PCART-tools provides tools, benchmarks, and evaluation artifacts for analyzing, repairing, and validating compatibility issues caused by API changes, dependency upgrades, and library evolution.
Start with PCART for API compatibility repair, PCREQ for compatible requirements inference, and PCBench / REQBench for benchmarks.
| Area | Capability | Repository |
|---|---|---|
| API compatibility | Repair API parameter incompatibilities after library upgrades | PCART |
| Dependency compatibility | Infer compatible requirements for Python third-party library upgrades | PCREQ |
| API ownership and provenance analysis | Classify Python API call ownership and trace library usage provenance in Python projects | PCResolve |
| Native API extraction | Generate stubs for Python C extension APIs | PCStubGen |
| Compatibility risks | Detect variadic parameter compatibility pitfalls in Python APIs | VPPDetector |
- PCBench: Benchmark for Python API parameter compatibility issues.
- REQBench: Benchmark for compatible requirements inference in Python third-party library upgrades.
- PCART-evaluation and PCREQ-evaluation: Evaluation artifacts for reproducing experimental results.
- PCART-LLM: Research artifact for LLM-based API compatibility analysis.
- WebPCART: Web platform for PCART-based compatibility analysis.
Licenses and citation information are provided in the corresponding repositories.
PCART-tools aims to support practical and verifiable compatibility maintenance for real-world Python and AI software, including API and dependency evolution analysis, project-level compatibility reasoning, tool-verified repair and validation, and integration with development workflows such as CI and large-scale repository analysis.
Maintained by the research group of Dr. Guanping Xiao at Nanjing University of Aeronautics and Astronautics.