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.