本资料是基于国防部根据FA8702-15-D-0002号合同与卡内基梅隆大学合作的软件工程研究所的运作而资助和支持的工作，这是一个联邦资助的研究和开发中心。