程序静态分析技术的研制门槛很高,目前国外顶级程序分析工具基本都是由常青藤高校研制,比如美国的Coverity起源于斯坦福大学,英国的Testbed起源于利物浦大学。