程序分析和神经网络后门

原文来自微信公众号"编程语言Lab"：程序分析与神经网络后门
访问'编程语言Lab'公众号（HW-PLLab）将帮助您获取丰富的技术资源。
热烈欢迎您加入编程语言社区 SIG-程序分析！深入研究与探讨程序分析领域的前沿技术。
请在联系文末的小助手后，在消息中注明您的兴趣领域'SIG-程序分析'。

作者 | 孙军@新加坡管理大学
整理 | 纪妙

作者简介

孙军先生是新加坡管理大学的一名学府学者，在学术领域主攻形式化技术、软件工程与信息安全。他嗜好爬山与攀岩。

个人主页：https://sunjun.site

视频回顾

关于SIG程序分析技术沙龙的回顾：探讨如何利用程序分析技术来证明神经网络不具备后门

1. 神经网络有各种问题

传统的程序存在一系列问题,例如众所周知的错误,漏洞等.我认