上海望驰安防科技有限公司
Checkmarx CxSuite
以色列Checkmarx公司的CxEnterprise(CheckmarxCxSuite)静态源代码安全漏洞扫描工具是采用了Checkmarx独特专利的虚拟编译器技术的静态源代码安全扫描测试工具,专门设计为识别、跟踪和修复软件源代码上的技
Parasoft Insure++
nsure++是专用于C和C++语言的运行时内存分析和错误检测工具,它能自动识别多种难于跟踪的编程和内存访问错误,并定位内存使用方面的潜在缺陷和效率低下等问题。诸如内存误操作,内存泄露,数组访问越界,无效指针和其它通过常规测试