Защита Указателей
Intent ID: :pointer-arithmetic
Пример
/* [[garden:intent(C-SAFE-03)]] */
if (ptr + offset < segment_end) {
result = *(ptr + offset);
}
/* [[/garden:intent]] */
Intent ID: :pointer-arithmetic
/* [[garden:intent(C-SAFE-03)]] */
if (ptr + offset < segment_end) {
result = *(ptr + offset);
}
/* [[/garden:intent]] */