文章/答案/技术大牛

发布

社区首页 >问答首页 >Parasoft标尺

问Parasoft标尺
EN

Stack Overflow用户

提问于 2011-05-18 01:20:22

回答 1查看 366关注 0票数 0

我正在尝试创建一条静态规则来检查SIL4应用程序中防御性编程的令牌传递。

规则如下：“每个函数都应该有一个常量uint_32作为最后一个参数”。

即：

uint_32 foo(uint_32 a, uint_32 b, const uint_32 c)   ok 
uint_32 foo(uint_32 a, uint_32 b, const uint_16 c)  NOK
uint_32 foo(uint_32 a, uint_32 b, uint_32 c)  NOK
uint_32 foo(uint_32 a, const uint_32 b, uint_32 c)  NOK

有没有人可以帮我？我在黑暗中摸索

parasoft

static-analysis

token

defensive-programming

回答 1

Stack Overflow用户

发布于 2011-08-22 23:32:10

您可以首先在收集器中收集所有参数的编号(使用ParamNumber属性)。然后选择ParamNumber等于收集到的最大数字的参数(您可以使用MAX()来获取该值)。然后您可以检查该参数是否具有合适的类型。

Irek

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/6034639

复制

相似问题

问Parasoft标尺
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Parasoft标尺EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Parasoft标尺
EN