本文介绍了三个静态分析工具的测试用例集：Juliet、OwaspBenchmark和Alipay。Juliet用于检测C/C++和Java程序的已知缺陷，OwaspBenchmark用于评估自动化软件漏洞检测工具的准确性和覆盖率，Alipay的测试用例集则是为了衡量xAST产品技术能力而设计的。