| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseAn 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 |
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.
VPPDetector: Detecting variadic parameter compatibility pitfalls in Python APIs
Python 2
| Back | FazBrowse Home | New Git URL |