VERIFIED Software Reconnaissance Mapping Program Features To Code