Program: 52594
Project: 52594
Buggy source:
private DRBGTestVector[] createTestVectorData(){
  return new DRBGTestVector[]{new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).setPersonalisationString("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).setPersonalisationString("String_Node_Str").addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),true,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),true,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),false,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),true,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),false,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),true,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"}).setPersonalisationString("String_Node_Str").addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),true,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"})};
}

Fixed version (ground truth):
private DRBGTestVector[] createTestVectorData(){
  return new DRBGTestVector[]{new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).setPersonalizationString("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),false,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).setPersonalizationString("String_Node_Str").addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),true,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}),new DRBGTestVector(new SHA256Digest(),new SHA256EntropyProvider().get(128),true,"String_Node_Str",128,new String[]{"String_Node_Str","String_Node_Str"}).addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),false,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),false,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}).setPersonalizationString("String_Node_Str"),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),false,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}).setPersonalizationString("String_Node_Str").addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),true,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}).addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA384Digest(),new SHA384EntropyProvider().get(192),true,"String_Node_Str",192,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),false,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"}),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),true,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"}).setPersonalizationString("String_Node_Str").addAdditionalInput("String_Node_Str").addAdditionalInput("String_Node_Str"),new DRBGTestVector(new SHA512Digest(),new SHA512EntropyProvider().get(256),true,"String_Node_Str",256,new String[]{"String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str","String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"})};
}