Scalpel: The Python Static Analysis Framework
☆324Mar 28, 2024Updated last year
Alternatives and similar repositories for Scalpel
Users that are interested in Scalpel are comparing it to the libraries listed below
Sorting:
- Static Python call graph generator☆364Nov 26, 2023Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆146Jan 22, 2026Updated last month
- Dynamic analysis framework for Python☆80Jan 28, 2026Updated last month
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆413Updated this week
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆835Updated this week
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Oct 19, 2023Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- A library to facilitate the static analysis of Android apps☆15Jul 22, 2025Updated 7 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆204Updated this week
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated last year
- ☆28Jan 20, 2026Updated last month
- Static Value-Flow Analysis Framework for Source Code☆1,652Feb 23, 2026Updated last week
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 2 years ago
- Code Property Graph: specification, query language, and utilities☆564Updated this week
- A step-by-step tutorial for Soot (a Java static analysis framework)☆449Dec 23, 2022Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Oct 28, 2021Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- A new version of Soot with a completely overhauled architecture☆774Updated this week
- Python3 control flow graph generator☆208Aug 7, 2022Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- This repo illustrates how to evaluate the artifacts in the paper An Extensive Study on Pre-trained Models for Program Understanding and G…☆27Aug 12, 2022Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Soot - A Java optimization framework☆3,072Feb 23, 2026Updated last week
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆28Feb 26, 2022Updated 4 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆524May 21, 2025Updated 9 months ago
- ☆15Jun 18, 2024Updated last year
- Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages☆136Oct 5, 2022Updated 3 years ago
- ☆44Jun 24, 2025Updated 8 months ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,959Updated this week
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆602Jan 14, 2026Updated last month
- CD4Py: Code De-Duplication for Python☆23Dec 13, 2020Updated 5 years ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,466Jun 20, 2025Updated 8 months ago
- A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.☆340Aug 11, 2023Updated 2 years ago
- Extract semantic information about static Python code☆82Dec 11, 2025Updated 2 months ago
- A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering☆731Nov 6, 2025Updated 3 months ago