由Stanford大学的Dawson Engler副教授等研究开发该靜态分析工具允许用户使用一种称作metal的状态机语言编写自定义的时序规则，从而实现了静态分析工具的可扩展性MC的实际效果非常优秀，號称在Linux内核中找出来数百个安全漏洞MC目前已经商业化，属于Coverity Inc.2014年被Synopsys收购目前学术领域比较认可的静态分析工具，其技术处于领先地位

mygcc 甴一个法国人N. Volanschi开发，其思想来源于MC试图将自定义的错误检测集成到编译时。

你对这个回答的评价是