Program: 73850
Project: 73850
Buggy source:
/** 
 * Invoke the Yices SMT solver on the given formula, saving the results in the given file. This method attempts to interface with the solver using the Yices Java API Lite.  We use reflection here to ensure the code will compile even without Yices installed. If we encounter a problem here, we assume it is because Yices is not installed and notify the user accordingly.
 * @param formula The formula to be checked for satisfiability.
 * @param tmpfile The file to save the results in.
 */
private void runYices(final String formula,final File tmpfile){
  final String fileName=tmpfile.getAbsolutePath();
  try {
    ClassLoader myClassLoader=ClassLoader.getSystemClassLoader();
    Class<?> yicesClass=myClassLoader.loadClass("String_Node_Str");
    Object yicesLite=yicesClass.newInstance();
    Method makeContext=yicesClass.getMethod("String_Node_Str",new Class[]{});
    Method setOutputFile=yicesClass.getMethod("String_Node_Str",new Class[]{String.class});
    Method readFormula=yicesClass.getMethod("String_Node_Str",new Class[]{Integer.class,String.class});
    Method deleteContext=yicesClass.getMethod("String_Node_Str",new Class[]{Integer.class});
    final int ctx=(Integer)makeContext.invoke(yicesLite,new Object[]{});
    setOutputFile.invoke(yicesLite,new Object[]{fileName});
    readFormula.invoke(yicesLite,new Object[]{ctx,formula});
    deleteContext.invoke(yicesLite,new Object[]{ctx});
  }
 catch (  Exception e) {
    System.err.println("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
    e.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * Invoke the Yices SMT solver on the given formula, saving the results in the given file. This method attempts to interface with the solver using the Yices Java API Lite.  We use reflection here to ensure the code will compile even without Yices installed. If we encounter a problem here, we assume it is because Yices is not installed and notify the user accordingly.
 * @param formula The formula to be checked for satisfiability.
 * @param tmpfile The file to save the results in.
 */
private void runYices(final String formula,final File tmpfile){
  final String fileName=tmpfile.getAbsolutePath();
  try {
    ClassLoader myClassLoader=ClassLoader.getSystemClassLoader();
    Class<?> yicesClass=myClassLoader.loadClass("String_Node_Str");
    Object yicesLite=yicesClass.newInstance();
    Method makeContext=yicesClass.getMethod("String_Node_Str",new Class[]{});
    Method setOutputFile=yicesClass.getMethod("String_Node_Str",new Class[]{String.class});
    Method readFormula=yicesClass.getMethod("String_Node_Str",new Class[]{int.class,String.class});
    Method deleteContext=yicesClass.getMethod("String_Node_Str",new Class[]{int.class});
    final int ctx=(Integer)makeContext.invoke(yicesLite,new Object[]{});
    setOutputFile.invoke(yicesLite,new Object[]{fileName});
    readFormula.invoke(yicesLite,new Object[]{ctx,formula});
    deleteContext.invoke(yicesLite,new Object[]{ctx});
  }
 catch (  Exception e) {
    System.err.println("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
    e.printStackTrace();
  }
}