SMAT-Lab / Scalpel
Scalpel: The Python Static Analysis Framework
☆305Updated last year
Alternatives and similar repositories for Scalpel:
Users that are interested in Scalpel are comparing it to the libraries listed below
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- Static Python call graph generator☆332Updated last year
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆307Updated this week
- BugsInPy: Benchmarking Bugs in Python Projects☆93Updated 8 months ago
- ☆132Updated 4 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆131Updated this week
- Extract and combine multiple source code views using tree-sitter☆126Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- Dynamic analysis framework for Python☆68Updated 4 months ago
- ☆56Updated last year
- ☆112Updated 2 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆78Updated last month
- A symbolic Java virtual machine for program analysis, verification and test generation☆109Updated 2 months ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆434Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated 3 weeks ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆100Updated 3 weeks ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆85Updated 3 years ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆73Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆44Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆66Updated 5 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆110Updated 2 years ago
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆29Updated 2 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆65Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆173Updated 2 weeks ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 2 months ago
- A Reproducible Benchmark of Recent Java Bugs☆34Updated last week