Repositories list

• squaresLab.github.io

  Public
  squaresLab webpage

  CSS

  •

  GNU General Public License v2.0

  •11 fork•22 stars•99 issues•00 pull requests•Updated Feb 19, 2026Feb 19, 2026

• idioms

  Public
  Python

  •44 forks•2121 stars•00 issues•11 pull request•Updated Jan 30, 2026Jan 30, 2026

• codealign

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

  Python

  •55 forks•1313 stars•00 issues•00 pull requests•Updated Aug 26, 2025Aug 26, 2025

• codealigneval

  Public

  squaresLab/codealigneval’s past year of commit activity
  A repository for reproducing the experiments used to evaluate Codealign (https://github.com/squaresLab/codealign)

  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2025Aug 26, 2025

• ase25-interpretable-reports

  Public
  Interpretable Vulnerability Detection Reports

  C

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 26, 2025Jul 26, 2025

• RepairChain

  Public

  squaresLab/RepairChain’s past year of commit activity
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis

  Python

  •

  Apache License 2.0

  •44 forks•00 stars•00 issues•00 pull requests•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

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• MatchnMetric

  Public
  Python

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2025Apr 1, 2025

• BugZoo

  Public

  squaresLab/BugZoo’s past year of commit activity
  Keep your bugs contained. A platform for studying historical software bugs.

  testingdockerdataset+ 3

  testingdockerdatasetbenchmarksautomated-repairbugzoo

  Python

  •

  MIT License

  •1212 forks•6969 stars•4646 issues•22 pull requests•Updated Jan 8, 2025Jan 8, 2025

• entropy-apr-replication

  Public
  Java

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 11, 2024Dec 11, 2024

• TBar

  Public
  Template-based Automated Program Repair

  Java

  •

  MIT License

  •2626 forks•11 star•11 issue•00 pull requests•Updated Dec 11, 2024Dec 11, 2024

• Aidan_Proposal

  Public
  Aidan's Proposal Document

  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 31, 2024Oct 31, 2024

• genprog4java

  Public
  Java

  •

  Other

  •1212 forks•1818 stars•33 issues•44 pull requests•Updated Oct 3, 2024Oct 3, 2024

• MultiEdit_Experiments

  Public
  What are multiedit bugs?

  Java

  •00 forks•22 stars•1414 issues•22 pull requests•Updated Sep 10, 2024Sep 10, 2024

• PyMigBench

  Public
  A benchmark of Python Library Migration

  Python

  •

  MIT License

  •66 forks•00 stars•00 issues•00 pull requests•Updated Sep 5, 2024Sep 5, 2024

• MELT

  Public
  Python

  •

  MIT License

  •44 forks•77 stars•00 issues•00 pull requests•Updated Aug 23, 2024Aug 23, 2024

• BatFix

  Public
  C++

  •

  MIT License

  •11 fork•55 stars•00 issues•00 pull requests•Updated Aug 22, 2024Aug 22, 2024

• melt_action

  Public
  Shell

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated Aug 15, 2024Aug 15, 2024

• Kaskara

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

  pythonanalysisclang

  pythonanalysisclang

  Python

  •

  Apache License 2.0

  •00 forks•33 stars•1616 issues•22 pull requests•Updated Jul 14, 2024Jul 14, 2024

• Darjeeling

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

  searchbugrepair+ 5

  searchbugrepairprogramgeneticbugzoodefectgenprog

  Python

  •

  Apache License 2.0

  •1111 forks•3232 stars•6969 issues•44 pull requests•Updated Jul 9, 2024Jul 9, 2024

• MFTCoder

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

  Python

  •

  Other

  •7070 forks•00 stars•00 issues•00 pull requests•Updated May 24, 2024May 24, 2024

• obfuscator

  Public
  1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated May 14, 2024May 14, 2024

• LLMAO

  Public
  Java

  •1111 forks•4040 stars•33 issues•00 pull requests•Updated Jan 27, 2024Jan 27, 2024

• MOBSTA

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

  Other

  •00 forks•3333 stars•00 issues•00 pull requests•Updated Oct 18, 2023Oct 18, 2023

• piranha

  Public
  A tool for refactoring code related to feature flag APIs

  Java

  •

  Apache License 2.0

  •206206 forks•11 star•00 issues•00 pull requests•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

  •7171 forks•22 stars•00 issues•00 pull requests•Updated Apr 14, 2023Apr 14, 2023

• ros-answers-miner

  Public
  A web scraper for ROS Answers

  Python

  •

  Apache License 2.0

  •22 forks•22 stars•55 issues•11 pull request•Updated Apr 6, 2023Apr 6, 2023

• VarCLR

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

  embeddingssource-codepre-training+ 2

  embeddingssource-codepre-trainingcontrastive-learningicse2022

  Python

  •

  MIT License

  •55 forks•4040 stars•22 issues•00 pull requests•Updated Jan 4, 2023Jan 4, 2023

• website-experiment

  Public
  HTML

  •

  MIT License

  •00 forks•00 stars•00 issues•1717 pull requests•Updated Dec 3, 2022Dec 3, 2022

• inCoder-test

  Public
  initial test of inCoder

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 22, 2022Sep 22, 2022