Tag: how do bug detectors work