Parasoft 规则向导
我正在尝试创建一个静态规则来检查 SIL4 应用程序中防御性编程的令牌传递。
规则如下：“每个函数都应有一个 const 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
有人可以帮助我吗？我在黑暗中摸索
I'm trying to create a static rule to check the token passing for defensive programming in a SIL4 application.
The rule is the following: "Each functions shall have a const uint_32 as last parameter"
ie:
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
There's someone that may help me? I'm groping in the dark
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
您可以首先在收集器中收集所有参数的编号（使用 ParamNumber 属性）。
然后选择 ParamNumber 等于收集到的最大数字的参数（可以使用 MAX() 来获取）。
然后您可以检查该参数是否具有合适的类型。
伊雷克
You can first collect numbers of all parameters (using ParamNumber property) in a collector.
Then select parameter with ParamNumber equal to the highest collected number (you can use MAX() to get that).
Then you can check if this parameter has appropriate type.
Irek