ldra testbed V7.2中的一部分，是testbed基于Misra-C：2004的静态检查功能详解，有需的请联系ldratestbed@sina.com 这个邮箱。我在网上查找的。-LDRA testbed part of V7.2testbed, is based on Misra-C:2004 static check function explanation, has required please contact the ldratestbed@sina.com mailbox