Scalpel: The Python Static Analysis Framework

02/24/2022
by   Li Li, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/28/2021

retworkx: A High-Performance Graph Library for Python

Network and graph analysis is a widely applicable field of research, and...
research
04/14/2020

An Analysis of Python's Topics, Trends, and Technologies Through Mining Stack Overflow Discussions

Python is a popular, widely used, and general-purpose programming langua...
research
09/07/2021

An Executable Structural Operational Formal Semantics for Python

Python is a popular high-level general-purpose programming language also...
research
09/20/2017

Pandapower - an Open Source Python Tool for Convenient Modeling, Analysis and Optimization of Electric Power Systems

Pandapower is a Python based, BSD-licensed power system analysis tool ai...
research
07/31/2022

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics

Static analysis is a mature field with applications to bug detection, se...
research
01/05/2023

Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning

Dynamically typed languages such as Python have become very popular. Amo...
research
05/10/2023

Scalable Demand-Driven Call Graph Generation for Python

Call graph generation is the foundation of inter-procedural static analy...

Please sign up or login with your details

Forgot password? Click here to reset