@FindNS
@dreamcracker
感谢回复，确实如您们所说的，阿里和腾讯有很多相关的安全实验室，如 @dreamcracker 说到的腾讯的七个安全实验室，阿里也有猎户座、双子座等等实验室。
但是怎么说呢，其实我想去的是偏程序分析开发的部门和团队，安全实验室还是偏漏洞挖掘和利用，可能我表述的不太好，比如：facebook 有 一套针对 Java, C, C++, and Objective-C 的静态分析工具叫 infer，https://github.com/facebook/infer。google 内部在提交代码时也有类似的工具。
我想做的还是这种静态程序分析工具的开发，类似的工具还有源伞的 pinpoint, Coverity 的静态检测工具, 包括 Clang 的 Clang static analyzer 和 clang-tidy。
请问像 BAT 里面有没有开发类似的静态检测工具的开发团队么

@hx1997 就我所了解到的，中科院软件所的苏璞睿老师团队是做二进制程序分析的，他们团队有很好的积淀，有一套基于 QEMU 的程序的基础设施。其他高校的团队了解不深.......

感谢楼主分享