On 23.07.2025 17:07, Dmytro Prokopchuk1 wrote:
> Add MISRA C rules to the monitored set.
> All these rules are 'accepted' for XEN, have zero or few violations,
> and should be enabled for the ECLAIR scan.
> 
> Rule 17.2 is enabled to prevent accidental direct recursion.

How does this "prevent" work? I see no deviations so far, despite there being
a few cases of recursion. Hence if one had a need to introduce another variant,
how would one go about doing so with no code usable as reference?

Jan

Reply via email to