TR-Meta-CrySL-Package:用于ecoop纸的神器包-源码

处理API滥用规范中的可变性（工件） 这是用于我们的论文《处理API滥用规范中的变量》的工件评估的复制包，该论文已在第35届欧洲面向对象编程会议（ECOOP 2021）上接受发表。 作者 罗德里戈·博尼法西奥（RodrigoBonifácio） 斯蒂芬·克鲁格（StefanKrüger） 克里希纳·纳拉辛汉（Krishna Narasimhan） 埃里克·博登（Eric Bodden） 米拉·梅济尼（Mira Mezini） 抽象的 API是开发人员获得对外部定义的服务和工具的访问的主要机制。 但是，先前的研究表明，滥用API违反了普遍存在的API合同。 这样的滥用会产生有害的后果，尤其是在加密库的情况下。 已经提出了各种API滥用检测器来解决此问题，其中包括CogniCrypt，它是此类检测器中功能最多的一种，它使用一种语言（CrySL）来指定加密API使用合同。 但是，现有的