新一代静态代码扫描工具，主要用于分析代码之间的关联。