Software Engineering Institute

This video shows the manual review of the code repairs done by Redemption in a terminal. All repaired files have a line added at the top '#include “acr.h”' to include the repair macros. Each repair can be reviewed with inspection of a small number of code lines. The repairs shown in this video include 1. Initialization of a variable before use; and 2. Inserting a check for null prior to dereferencing a pointer.

We also provide easier, higher-tech ways to view and selectively accept Redemption’s code repairs. These other methods are described in detail in the Redemption documentation in the `doc` directory. For example, in the Redemption code release, we provide scripts and instructions that automate the creation of merge requests with the repairs using GitLab. With GitLab, with a click, reviewers can remove any particular repair they don’t want from the merge request. The Redemption release even includes a demo for users to test their GitLab system with Redemption, which includes a codebase that gets repaired. Other editors like Visual Studio Code provide similar per-click rejection of edits, even when used outside of a CI system.