Hot: labelingsoftwareanalysis