Parasoft rulewizard

Question

Я пытаюсь создать статическое правило для проверки прохождения токена для защитного программирования в приложении 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 

Есть кто-то, кто может мне помочь? Я нащупываю в темноте

Answer 1

Вы можете сначала собрать числа всех параметров (используя свойство ParamNumber) в коллекторе.Затем выберите параметр с ParamNumber, равным наибольшему собранному числу (вы можете использовать MAX (), чтобы получить это).Затем вы можете проверить, имеет ли этот параметр соответствующий тип.

Ирек