讲座回顾 | 加州大学河滨分校钱志云教授:静态分析在安全领域的机会与技术 | 长亭百川云