Something that cleanses, such as a detergent.
A program to detect errors in code, usually integrated into a compiler.