SMAT-Lab / Scalpel

Related projects: ⓘ

• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆56Updated last week
• vitsalis / PyCG
  Static Python call graph generator
  ☆317Updated 9 months ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆277Updated this week
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆77Updated 2 months ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆102Updated 2 months ago
• microsoft / codamosa
  ☆111Updated 3 months ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆26Updated this week
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆65Updated last week
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆96Updated 2 years ago
• stg-tud / MUBench
  ☆53Updated 9 months ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆72Updated 8 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆68Updated last year
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆81Updated 3 years ago
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆206Updated last month
• Mondego / SourcererCC
  Sourcerer's Code Clone project
  ☆202Updated 2 years ago
• wala / ML
  ☆25Updated last month
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆60Updated 2 years ago
• wcphkust / LLM-PLSE-paper
  ☆96Updated this week
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆159Updated last week
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆33Updated 6 months ago
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• clonebench / BigCloneBench
  ☆108Updated last year
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆60Updated last week
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated 6 months ago
• FudanSELab / CLDIFF
  ☆39Updated 2 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆229Updated last year
• ise-uiuc / TitanFuzz
  ☆64Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆73Updated last week
• michaelpradel / DeepBugs
  DeepBugs is a framework for learning bug detectors from an existing code corpus.
  ☆147Updated 3 years ago
• stan6 / se-paper
  ☆74Updated last year