squaresLab/type-recovery squaresLab/type-recovery

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
squaresLab/type-recovery
github

squaresLab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Type equivalence and recovery for decompiled code

More Repositories

1

genprog-code

GenProg: heuristic, GP-based automatic program repair for C.
OCaml
90
star
2

BugZoo

Keep your bugs contained. A platform for studying historical software bugs.
Python
67
star
3

VarCLR

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
Python
38
star
4

MOBSTA

MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.
32
star
5

Darjeeling

Language-independent, search-based program repair -- just your cup of tea! โ˜•
Python
28
star
6

LLMAO

Java
20
star
7

GzScenic

Python
18
star
8

genprog4java

Java
17
star
9

ManyBugs

Python
16
star
10

footpatch

OCaml
15
star
11

SemanticCrashBucketing

Semantic Crash Bucketing
Python
14
star
12

SOAR

Synthesis API Refactor
Python
10
star
13

COBOLd

COBOLd: Gobblinโ€™ Up COBOL Bugs for Fun and Profit
C
9
star
14

SOSRepair

Python
9
star
15

SynthLift

The home of SynthLift
OCaml
7
star
16

Houston

Automated system testing for autonomous vehicles
Python
6
star
17

BatFix

C++
5
star
18

ArduBugs

A dataset of roughly 140 historical, real-world bugs found in the ArduPilot vehicle autopilot system.
Python
5
star
19

MELT

Python
5
star
20

pldi-artifact-2019

4
star
21

Kaskara

A simple API frontend for various static analysers (e.g., Clang)
Python
3
star
22

blameandshame

Python
3
star
23

MultiEdit_Experiments

What are multiedit bugs?
Java
2
star
24

boggart

WIP: Lightweight, extensible, language-independent mutation testing.
Python
2
star
25

ros-answers-miner

A web scraper for ROS Answers
Python
2
star
26

Rooibos

OCaml
2
star
27

physfix

Automatically fixing unit inconsistencies detected by Phys
Python
2
star
28

squaresLab.github.io

squaresLab webpage
CSS
2
star
29

overhead-timing-effects-in-ROS

TeX
2
star
30

logos

Official squaresLab logos
2
star
31

ProbabilisticModel_Saner2018

Paper and supporting materials of the Probabilistic Model paper Accepted to SANER 2018
Java
2
star
32

GenProgScripts

The purpose of this repo is to allow user to run GenProg, TRPAutoRepair or PAR in the Defects4J bugs
Shell
2
star
33

security-repair-benchmarks

Shell
1
star
34

AnotherBugMiner

Python
1
star
35

footpatch-patches

Shell
1
star
36

valgrind-tools

Customized Valgrind with additional "debgrind" tools for collecting execution summaries
C
1
star
37

SOSRepair-Replication-Package

This repository contains the data and scripts to reproduce the results of the paper: "SOSRepair: Expressive Semantic Search for Real-World Program Repair", Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, and Claire Le Goues, IEEE Transactions on Software Engineering (TSE), 2019.
Shell
1
star