污点分析是一种挖掘安全漏洞的有效手段，即使对于大型代码库，也是如此。我的同事Lucas Leong最近演示了如何使用Clang Static Analyzer和CodeQL，通过污点分析来建模和查找M...