Repositories list

• idioms

  Public
  Python

  •1•13•0•0•Updated Jun 17, 2025Jun 17, 2025

• RepairChain

  Public
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis

  Python

  •

  Apache License 2.0

  •2•0•0•0•Updated May 29, 2025May 29, 2025

• ML-Decompilation-Obfuscation

  Public
  Replication package for the 2025 DIMVA paper "Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement"

  Python

  •1•0•0•0•Updated Apr 28, 2025Apr 28, 2025

• MatchnMetric

  Public
  Python

  •

  Other

  •0•0•0•0•Updated Apr 1, 2025Apr 1, 2025

• codealign

  Public
  A tool for finding instruction-level equivalence between two functions.

  Python

  •2•7•0•0•Updated Feb 24, 2025Feb 24, 2025

• BugZoo

  Public
  Keep your bugs contained. A platform for studying historical software bugs.

  testingbenchmarksautomated-repair+ 3dockerdatasetbugzoo

  Python

  •

  MIT License

  •12•69•46•2•Updated Jan 8, 2025Jan 8, 2025

• entropy-apr-replication

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

• TBar

  Public
  Template-based Automated Program Repair

  Java

  •

  MIT License

  •25•1•1•0•Updated Dec 11, 2024Dec 11, 2024

• Aidan_Proposal

  Public
  Aidan's Proposal Document

  0•0•0•0•Updated Oct 31, 2024Oct 31, 2024

• genprog4java

  Public
  Java

  •

  Other

  •11•18•2•3•Updated Oct 3, 2024Oct 3, 2024

• MultiEdit_Experiments

  Public
  What are multiedit bugs?

  Java

  •0•2•14•2•Updated Sep 10, 2024Sep 10, 2024

• PyMigBench

  Public
  A benchmark of Python Library Migration

  Python

  •

  MIT License

  •5•0•0•0•Updated Sep 5, 2024Sep 5, 2024

• MELT

  Public
  Python

  •

  MIT License

  •4•7•0•0•Updated Aug 23, 2024Aug 23, 2024

• BatFix

  Public
  C++

  •

  MIT License

  •1•5•0•0•Updated Aug 22, 2024Aug 22, 2024

• melt_action

  Public
  Shell

  •

  MIT License

  •0•4•0•0•Updated Aug 15, 2024Aug 15, 2024

• Kaskara

  Public
  A simple API frontend for various static analysers (e.g., Clang)

  pythonanalysisclang

  Python

  •

  Apache License 2.0

  •0•3•16•2•Updated Jul 14, 2024Jul 14, 2024

• Darjeeling

  Public
  Language-independent, search-based program repair -- just your cup of tea! ☕

  searchbugprogram+ 5geneticbugzoodefectgenprogrepair

  Python

  •

  Apache License 2.0

  •10•29•69•4•Updated Jul 9, 2024Jul 9, 2024

• squaresLab.github.io

  Public
  squaresLab webpage

  CSS

  •

  GNU General Public License v2.0

  •1•2•9•0•Updated May 30, 2024May 30, 2024

• MFTCoder

  Public
  High Accuracy and efficiency multi-task fine-tuning framework for Code LLMs

  Python

  •

  Other

  •66•0•0•0•Updated May 24, 2024May 24, 2024

• obfuscator

  Public
  1.2k•0•0•0•Updated May 14, 2024May 14, 2024

• LLMAO

  Public
  Java

  •9•33•1•0•Updated Jan 27, 2024Jan 27, 2024

• MOBSTA

  Public
  MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.

  Other

  •0•33•0•0•Updated Oct 18, 2023Oct 18, 2023

• piranha

  Public
  A tool for refactoring code related to feature flag APIs

  Java

  •

  Apache License 2.0

  •205•1•0•0•Updated Jul 31, 2023Jul 31, 2023

• comby-jedi

  Public
  A code rewrite tool for structural search and replace that supports ~every language.

  OCaml

  •

  Apache License 2.0

  •68•2•0•0•Updated Apr 14, 2023Apr 14, 2023

• ros-answers-miner

  Public
  A web scraper for ROS Answers

  Python

  •

  Apache License 2.0

  •2•2•5•1•Updated Apr 6, 2023Apr 6, 2023

• VarCLR

  Public
  VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning

  embeddingssource-codepre-training+ 2contrastive-learningicse2022

  Python

  •

  MIT License

  •5•39•2•0•Updated Jan 4, 2023Jan 4, 2023

• website-experiment

  Public
  HTML

  •

  MIT License

  •0•0•0•17•Updated Dec 3, 2022Dec 3, 2022

• inCoder-test

  Public
  initial test of inCoder

  Python

  •0•0•0•0•Updated Sep 22, 2022Sep 22, 2022

• physfix

  Public
  Automatically fixing unit inconsistencies detected by Phys

  Python

  •

  Apache License 2.0

  •0•2•0•0•Updated Aug 19, 2022Aug 19, 2022

• llvm-supermutate

  Public
  LLVM supermutation

  mutation-testingllvmprogram-repair

  C++

  •

  Apache License 2.0

  •0•0•9•0•Updated Aug 12, 2022Aug 12, 2022