XCISE

Xcise is a C/C dead code detection and elimination tool that uses as its input the output of the ASX fact extraction tool.

Xcise therefore employs a C translation of the Java code used by LSEdit to translate the input TA into a graph. Xcise must ensure that functions contained in header files are not removed