On 7/23/25 18:14, Jan Beulich wrote: > 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 I agree. Word "prevent" is inappropriate here. Better to say "monitor" or "scan".
Dmytro.
