// Off-By-One Vulnerability in For Loop

int *ptr;
ptr = (int*)malloc(5 * sizeof(int));
for (int i = 0; i <= 5; i++)
{
    ptr[i] = i * 2 + 1;     // ptr[5] alan tahsisi yapılacak, 
                            // fakat sınırların dışına çıkılmış olur.
}

// Proper Iteration in For Loop

int *ptr;
ptr = (int*)malloc(5 * sizeof(int));
for (int i = 0; i < 5; i++)
{
    ptr[i] = i * 2 + 1; // ptr[0-4] ile düzenli şekilde alan tahsisi yapılır.
}

// Eğer TERMINATION_MEMBER Elemanı Dizide Yoksa 
// Dizide Off-by-One Hatası Durumu

for (int i = 0; i <= arr.length; i++) {       // arr[arr.length] indisi hiçbir 
                                              // zaman tanımlanmadı ve bu  
                                              // nedenle daima exception ile 
                                              // sonuçlanacaktır.
                                                
    if (arr[i].equals(TERMINATION_MEMBER) {   // "arr" dizisinin bir elemanı
                                              // iterasyonu sonlandıracak
                                              // şekilde tanımlandığı  
                                              // varsayılmakta. 
    
        break;  // Bu komut istisnadan uzak kılacaktır, 
                // fakat yalnızca arr dizisi beklenen 
                // sonlandırıcı üye değeri içeriyorsa. 

    }

    doSomething(arr[i]); // Eğer TERMINATION_MEMBER "arr" dizisinde bir eleman 
                         // değilse, arr[arr.length] dereference edilmeye 
                         // çalışıldığında bir istisna meydana gelecektir.
                         
}

// "arr" Dizisinde TERMINATION_MEMBER Yoksa 
// Bile Dizinin Uygun Şekilde Çalışması

for (int i = 0; i < arr.length; i++) {

    if (arr[i].equals(TERMINATION_MEMBER) {   // "arr" dizisinin bir elemanı
                                              // iterasyonu sonlandıracak
                                              // şekilde tanımlandığı  
                                              // varsayılmakta. 

        break;
    }

    doSomething(arr[i]);                      // Fonksiyon "arr" dizisinin her 
                                              // bir i indisinde uygun bir şe-
                                              // kilde çalışacaktır.
                                              
}

• Verilen iterasyon sınırlarının doğruluğundan daima emin olun.
  
  
• Dizi iterasyonları kullanımlarında n boyutlu bir dizi için dizi 0 indisinden başlıyor mu ve n-1 indisinde bitiyor mu gözden geçirin.
  
  
• Karakter dizileri ve null byte sonlandırıcı karakter kullanımlarında null byte’ın kullanılır olduğunu, üzerine yazma işlemi yapılmadığını ve ele alınmamazlık (ignore) yapılmadığını gözden geçirin. Fonksiyonların off-by-one açıklıklı olmadığından emin olun. Örneğin karakter dizisinde tamponun sonuna otomatik olarak eklenen null byte’ların karakter dizisinin son elemanı yerine eklenmediğinden emin olun.
  
  
• Mümkün olduğu her yerde off-by-one hatası eğilimli olmayan ve belleği yöneten güvenli fonksiyonlar kullanın.
  
  

• http://cwe.mitre.org/data/definitions/193.html
• https://vulncat.fortify.com/en/detail?id=desc.internal.cpp.buffer_overflow_off_by_one#C%2fC%2b%2b
• https://vulncat.fortify.com/en/detail?id=desc.internal.cpp.out_of_bounds_read_off_by_one#C%2fC%2b%2b