Scalpel: The Python Static Analysis Framework

التفاصيل البيبلوغرافية
العنوان: Scalpel: The Python Static Analysis Framework
المؤلفون: Li, Li, Wang, Jiawei, Quan, Haowei
سنة النشر: 2022
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Software Engineering
الوصف: Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such a framework (named Scalpel) and make it publicly available as an open-source project. The Scalpel framework has already integrated a number of fundamental static analysis functions (e.g., call graph constructions, control-flow graph constructions, alias analysis, etc.) that are ready to be reused by developers to implement client applications focusing on statically resolving dedicated Python problems such as detecting bugs or fixing vulnerabilities.
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2202.11840
رقم الأكسشن: edsarx.2202.11840
قاعدة البيانات: arXiv