Klocwork在TigerSHARC编译环境下的使用

摘要

TigerSHARC是一种在VisualDSP++平台开发的高效、高速的数字信号处理器.Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术.介绍了利用Klockwork软件在TigerSHARC编译环境下进行动态错误检查测试的方法.