Software

CompCheck - a client-specific Java library upgrade compatibility checking framework.

CSlicer - an automatic semantic slicing tool for identifying a subset of change sets (commits) that implement a software functionality.

Definer - another automatic semantic slicing tool.

Diffbase - a toolset for extracting, storing, and supporting efficient querying and manipulation of differential facts to support various program analysis tasks.

DocCon - a Solidity smart contract API documentation error detector.

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

GenSlice - a generalized semantic history slicing framework that integrates several existing techniques and facilitates their comparisons and analyses.

LibCST (open source, managed by Meta) - a Concrete Syntax Tree (CST) parser and serializer library for Python.

ODRepair - an automated tool that repairs order-dependent flaky tests.

Relancer - a tool for restoring the executability of broken Jupyter Notebooks by upgrading deprecated APIs.

RTSCheck - a framework for finding bugs in regression test selection tools.

SapientML (open source, managed by Fujitsu Research of America) - a generative AutoML technique that generates machine learning pipelines for predictive tasks on new datasets.

SeaHorn - an automated verification and analysis framework for LLVM-based languages.