机译:CrySL:验证密码API正确使用的可扩展方法
cryptographydomain-specific languagestatic analysis;
机译:CrySL:验证密码API正确使用的可扩展方法
机译:fine-GRAPE:细粒度的APi使用率提取器-研究API使用率的方法和数据集
机译:LBflow:用于模拟地球物理流的可扩展格子Boltzmann框架。第二部分:用法和验证
机译:推断API正确使用规则:一种基于树的方法
机译:正确的并发API使用类型。
机译:报告:.NET加密API的可扩展性和实现独立性
机译:正确的并发apI用法的类型