Basic bug detector