Source Code Assurance Tool: An Implementation

Abstract

We present the tool we built as part of a Laboratory Directed Research and Development (LDRD) project. This tool consists of a commercially-available, graphical editor front-end, combined with a back end "slicer."The significance of the tool is that it shows how to slice across system components. This is an advance from slicing across program components.