Building the EMF bug detector