• Örneğin 8 bitlik işaretli (signed) bir integer değişkeni -128’den 127’ye bir değer aralığına sahiptir. Eğer bu integer değişkeninin tanımlı maksimum değeri 127’ye 1 eklenirse maksimum değer aşılmış olur. Değer ise bu taşma sonucu işaret biti 1 olduğundan ve geri kalan bitler 0 olacağından -128 olur. Yani değişken artık minimum değerden başlar hale gelir. Bu durum bir integer overflow (integer taşması)’dır.
  
  
• Örneğin 8 bitlik işaretli (signed) bir integer değişkeni -128’den 127’ye bir değer aralığına sahiptir. Eğer bu integer değişkeninin tanımlı minimum değeri -128’den 1 çıkarılırsa minimum değer aşılmış olur. Değer ise bu taşma sonucu işaret biti 0 olduğundan ve geri kalan bitler 1 olduğundan 127 olur. Yani maksimum değerden başlar hale gelir. Bu durum bir integer underflow (integer düşmesi)’dir.
  
  
• Örneğin işaretsiz (unsigned) 32 bitlik bir integer değişkeni 0’dan 4,294,967,295’ye bir değer aralığına sahiptir. Eğer bu integer değişkeninin tanımlı maksimum değeri 4,294,967,295’ye 1 eklenirse maksimum değer aşılmış olur. Değer ise bu taşma sonucu yeni bit hanesi değeri kırpıldığında geriye kalan bitler 0 olarak kaldığından 0 olur. Yani değişken minimum değerden başlar hale gelir. Bu durum integer overflow (integer taşması)’dır.
  
  
• Örneğin işaretli (signed) 32 bitlik bir integer değişkeni -2,147,483,648’den 2,147,483,647’ye bir değer aralığına sahiptir. Eğer bu integer değişkeninin tanımlı maksimum değeri 2,147,483,647’ye 1 eklenirse maksimum değer aşılmış olur. Değer ise bu taşma sonucu işaret biti 1 olduğundan ve geriye kalan bitler 0 olduğundan (eksi) -2,147,483,648 olur. Yani minimum değerden başlar hale gelir. Bu durum yine bir integer overflow (integer taşması)’dır.
  
  

// ENG: Addition Vulnerable to “Overflow” and “Underflow”
// TUR: “Overflow” ve “Underflow” Zafiyetli Toplama

public static int vuln_addition1(int a, int b) {
    return a + b;
}

// ENG: Incorrect Check - Vulnerable to Underflow, and 
//      Incorrect Negative Value Handling
// TUR: Doğru Olmayan Kontrol - “Underflow” Zafiyetli
//      ve Doğru Olmayan Negatif Değer Değerlendirici

public static int vuln_addition2(int a, int b) {
    if(a+b < 0)
        throw new RuntimeException ("Integer overflow!");
    return a + b;
}

// ENG: Addition That will Throw Exception in Case of 
//      Overflow or Underflow
// TUR: Overflow veya Underflow Durumunda İstisna Fırlatan
//      Toplama

public static int safe_addition1(int a, int b) {

    if (a > 0 && b > 0 && a + b < 0)
        throw new RuntimeException ("Integer overflow!");

    if (a < 0 && b < 0 && a + b > 0)
        throw new RuntimeException ("Integer underflow!");

    return a+b;
}

// ENG: Using a bigger data type to hold all the 
//      possible result values
// TUR: Tüm Olası Sonuç Değerlerini Tutmak İçin
//      Daha Büyük Veri Tipi Kullanma

public static short safe_addition2(short a, short b) {

    int total = a+b;

    if(total > Short.MAX_VALUE)
        return Short.MAX_VALUE;

    if(total < Short.MIN_VALUE)
        return Short.MIN_VALUE;

    return (short)total;
}

• https://www.geeksforgeeks.org/difference-between-byte-short-int-and-long-datatype-in-java/
• https://cwe.mitre.org/data/definitions/190.html
• https://vulncat.fortify.com/en/detail?id=desc.dataflow.cobol.integer_overflow#C%2FC%2B%2B
• https://www.acunetix.com/blog/web-security-zone/what-is-integer-overflow/
• https://stackoverflow.com/questions/5739888/what-is-the-difference-between-signed-and-unsigned-int
• https://www.welivesecurity.com/2022/02/21/integer-overflow-how-it-occur-can-be-prevented/
• Chat GPT: Question: What is the difference between integer overflow and integer underflow?
• https://www.gnu.org/software/autoconf/manual/autoconf-2.63/html_node/Integer-Overflow-Basics.html
• https://www.welivesecurity.com/2022/02/21/integer-overflow-how-it-occur-can-be-prevented/