electronic leak detector
A device that uses an element that is sensitive to halogenated gases to set off an alarm or other signal when a leak is detected.