此程式使用 == 或 != 來比較兩個字串是否相等，其為比較兩個物件是否相同，而非它們的值。因此，若使用這個方法，兩個參照將永遠不會相等。

範例 1：永遠不會執行以下分支語句。

  if (args[0] == STRING_CONSTANT) {
      logger.info("miracle");
  }

當使用 == 和 != 運算子來比較相同物件中的字串時，它們只會如預期般的運作。要出現這種情況，最常見的方法就是將字串控制在內部，這樣，將字串增加到由 String 類別維護的物件池中。一旦將字串控制在內部，每次使用這個字串時都將使用相同的物件，並且相等運算子會如預期般運作。所有字串文字和以字串當作值的常數會自動控制在內部。其他字串可以透過呼叫 String.intern() 來以手動控制在內部，這將會回傳目前字串的標準實例，必要時也會建立一個實例。

已使用 FortifyNonZero 註解此欄位，用來表示零並不是允許的值。

靜態方法無法使用定義加以取代，因為它們屬於該類別實例以外的類別。雖然在一些案例中，似乎已在子類別中取代靜態方法，但是這可能導致衝突，並可導致要呼叫的方法的版本不正確。

範例 1：以下會嘗試定義 API 以驗證使用者。

class AccessLevel{
  public static final int ROOT = 0;
  //...
  public static final int NONE = 9;
}
//...
class User {
  private static int access;
  public User(){
    access = AccessLevel.ROOT;
  }
  public static int getAccessLevel(){
    return access;
  }
  //...
}
class RegularUser extends User {
  private static int access;
  public RegularUser(){
    access = AccessLevel.NONE;
  }
  public static int getAccessLevel(){
    return access;
  }
  public static void escalatePrivilege(){
    access = AccessLevel.ROOT;
  }
  //...
}
//...
class SecureArea {
  //...
  public static void doRestrictedOperation(User user){
    if (user instanceof RegularUser){
      if (user.getAccessLevel() == AccessLevel.ROOT){
        System.out.println("doing a privileged operation");
      }else{
        throw new RuntimeException();
      }
    }
  }
}

乍看之下，此程式碼似乎正常。但是，由於我們將針對 user 實例 (而不是針對 User 或 RegularUser 類別) 呼叫 getAccessLevel() 方法，因此這將意味著，此狀況一律會傳回 true，並且會執行限制的操作，即使使用 instanceof 以進入 if/else 區塊的此部分也是如此。

當可序列化類別建立序列化或還原序列化函數但未遵循正確的簽章時，會發生「程式碼正確性：不正確的可序列化方法簽章」問題：

  private void writeObject(java.io.ObjectOutputStream out) throws IOException;
  private void readObject(java.io.ObjectInputStream in) throws IOException, ClassNotFoundException;
  private void readObjectNoData() throws ObjectStreamException;

違反序列化所需要的方法簽章，可能意味著在序列化/還原序列化期間永遠不會呼叫此方法，進而導致序列化/還原序列化不完整，也可能意味著，不可信賴的程式碼可能會取得物件的存取權。
若有異常未拋出，則可能意味著序列化/還原序列化失敗並導致應用程式當機，或者甚至可能悄然失敗以致物件可能僅部分正確建構，從而導致對漏洞進行除錯變得極為困難。呼叫者應捕捉這些異常，以便不正確的序列化/還原序列化能夠得以適當處理，且不會出現當機或部分建構的物件。

Java Object Serialization Specification 可讓開發人員藉由在 serialPersistentFields 陣列中指定類別的可序列化欄位來手動定義這些欄位。這項功能只有在宣告 serialPersistentFields 為 private、static 以及 final 時才有效。

範例 1：不會使用下列 serialPersistentFields 的宣告，來定義 Serializable 欄位，因為欄位不是 private、static 以及 final。

class List implements Serializable {
public ObjectStreamField[] serialPersistentFields = { new ObjectStreamField("myField", List.class) };
...
}

在大多數情況下，針對陣列呼叫 Object.equals() 是錯誤的，因為這將會檢查陣列的位址是否相等，而不是陣列的元素是否相等，所以通常應該由 java.util.Arrays.equals() 取而代之。

範例 1：以下使用 Object.equals() 函數嘗試檢查兩個陣列。

...
  int[] arr1 = new int[10];
  int[] arr2 = new int[10];
  ...
  if (arr1.equals(arr2)){
    //treat arrays as if identical elements
  }
...

這幾乎一定會導致程式碼永遠不會執行，除非在某個時間點，將一個陣列指派給另一個陣列。

此方法名稱與一般的 Java 方法名稱相似，但它不是存在著拼寫錯誤，就是引數清單導致它無法取代預期的方法。

範例 1：以下方法用於取代 Object.equals()：

public boolean equals(Object obj1, Object obj2) {
  ...
}

但是由於 Object.equals() 只需要一個引數，因此將永遠不會呼叫 Example 1 中的方法。