Chenguang-Zhu

DoSC

DoSC is a dataset for benchmarking software analysis techniques that dynamically discover semantic changes.

DocCon

DocCon is an automated tool for identifying Solidity smart contract API documentation errors

ICE-C5

Comparison between open source C5.0 code and ICE-C5.0 code

demo

Scripts and configuration files for running CSlicer and Definer on DoSC benchmarks

ICE-SV-Benchmarks

The benchmark repository for SeaHorn-ICE project.

icsme20-artifact

relancer-artifact

SDN_FlowIdentification

A smart home network management system based on software defined networks

LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

ODRepair

scripts to run ODRepair

commons-csv

Mirror of Apache Commons CSV

compsuite

CSlicer

Home of the semantic history slicing algorithms: CSLICER and DEFINER.

eval-runner-docker

Fixit

Fixit is a Python Lint Framework based on LibCST. It comes with useful default lint rules for coding convention, performance and security issues. It makes custom lint rule easy to build, test and configure. It empowers lint rule to provide autofix to fix the issues for developers. It also provide tools to run autofix across codebase to fix existing

icsme20-artifacts-and-rose

ROSE festival and artifact evaluation for ICSME-2020

LinearArbitrary-SeaHorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

relancer

RoadEstimation

A machine learning-based road estimation project for auto-driving.

rv-monitor

RV-Monitor core system code

sapientml

Generative AutoML for Tabular Data

seahorn

SeaHorn Verification Framework