CPyGraph: A Version-Aware Static Analysis Framework for Native CPython Bytecode

arXiv:2609.25083 · cs.CR · Submitted 2026-09-18 · Read on arXiv

cs.CR

Submitted: 2026-09-18

Updated: 2026-09-18

Code: https://github.com/codellm-devkit/codeanalyzer-python

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Benchmark — 17× in this paper · explained in 2 episodes
• Accuracy — 9× in this paper · explained in 1 episode
• Graph Construction — 9× in this paper · explained in 3 episodes
• Ablation — 7× in this paper · explained in 1 episode
• Core — 6× in this paper · explained in 2 episodes
• Abstraction — 5× in this paper · explained in 1 episode
• Decode — 5× in this paper · explained in 2 episodes
• Trace — 5× in this paper · explained in 2 episodes
• Analyzer — 4× in this paper · explained in 1 episode
• Consistency — 3× in this paper · explained in 3 episodes
• Adaptation — 2× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 3 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• A Library for Representing Python Programs as Graphs for Machine Learning
• Beyond Source: An Empirical Study of Python Bytecode Security Risks
• Ariadne: Analysis for Machine Learning Program
• Scalable and Precise Application-Centered Call Graph Construction for Python
• Scalpel: The Python Static Analysis Framework
• PointEval: On the Impact of Pointer Analysis Frameworks

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs