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 | Identify library-owned calls and trace provenance to scope upgrade analysis | PCResolve |
| Native API extraction | Generate stubs for Python C extension APIs to support cross-version interface comparison | PCStubGen |
| Compatibility risks | Detect compatibility risks from variadic arguments forwarded to APIs with fixed signatures | VPPDetector |
These supporting tools complement API repair with PCART and compatible requirements inference with PCREQ.
- PCBench: Benchmark for Python API parameter compatibility issues.
- REQBench: Benchmark for compatible requirements inference in Python third-party library upgrades.
- PCBench-D: Benchmark for deprecated API–replacement API evolution and post-deprecation lifecycles in Python libraries.
- 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.