萨特扫描

通过静态分析识别源代码中的安全漏洞。