上海控安自主研发的SmartRocket TestGrid不错。是一款嵌入式智能化测试工具，对标Tessy、Testbed等国外工具的静态分析、单元测试功能，实现国外工具的国产化替代。该工具利用软件代码分析中的动态符号执行技术实现，分析程序