Program: 89060
Project: 89060
Buggy source:
public static void main(String[] args){
  if (args.length != 1) {
    System.err.println("String_Node_Str");
    System.err.println("String_Node_Str" + StaticAnalyser.class.getName() + "String_Node_Str");
    System.exit(1);
  }
  G.v().out=System.err;
  Options.v().set_src_prec(Options.src_prec_apk);
  Options.v().set_process_dir(Collections.singletonList(args[0]));
  Options.v().set_output_format(Options.output_format_none);
  Options.v().set_force_android_jar("String_Node_Str");
  Options.v().set_allow_phantom_refs(true);
  Options.v().set_whole_program(true);
  PhaseOptions.v().processPhaseOptions("String_Node_Str","String_Node_Str");
  List<Vulnerability> vulnerabilities=new ArrayList<>();
  Pack wjpp=PackManager.v().getPack("String_Node_Str");
  wjpp.add(new Transform("String_Node_Str",new EntryMethodTransformer()));
  AnalysisTransformer transformer=new AnalysisTransformer(new KnownHostnameVerifierAnalyser(vulnerabilities),new HostnameVerifierAnalyser(vulnerabilities),new AbstractVerifierAnalyser(vulnerabilities),new DefaultHostnameVerifierAnalyser(vulnerabilities),new HttpsUrlConnectionAnalyser(vulnerabilities),new TrustManagerAnalyser(vulnerabilities),new SslContextAnalyser(vulnerabilities));
  Pack wjtp=PackManager.v().getPack("String_Node_Str");
  wjtp.add(new Transform("String_Node_Str",transformer));
  Scene.v().loadNecessaryClasses();
  PackManager.v().runPacks();
  System.err.println(vulnerabilities.size() + "String_Node_Str");
  System.err.flush();
  for (  Vulnerability vulnerability : vulnerabilities) {
    System.out.println(vulnerability.toString());
  }
}

Fixed version (ground truth):
public static void main(String[] args){
  if (args.length != 1) {
    System.err.println("String_Node_Str");
    System.err.println("String_Node_Str" + StaticAnalyser.class.getName() + "String_Node_Str");
    System.exit(1);
  }
  G.v().out=System.err;
  Options.v().set_src_prec(Options.src_prec_apk);
  Options.v().set_process_dir(Collections.singletonList(args[0]));
  Options.v().set_output_format(Options.output_format_none);
  Options.v().set_force_android_jar("String_Node_Str");
  Options.v().set_allow_phantom_refs(true);
  Options.v().set_whole_program(true);
  PhaseOptions.v().processPhaseOptions("String_Node_Str","String_Node_Str");
  Set<Vulnerability> vulnerabilities=new HashSet<>();
  Pack wjpp=PackManager.v().getPack("String_Node_Str");
  wjpp.add(new Transform("String_Node_Str",new EntryMethodTransformer()));
  AnalysisTransformer transformer=new AnalysisTransformer(vulnerabilities,new KnownHostnameVerifierAnalyser(vulnerabilities),new HostnameVerifierAnalyser(vulnerabilities),new AbstractVerifierAnalyser(vulnerabilities),new DefaultHostnameVerifierAnalyser(vulnerabilities),new HttpsUrlConnectionAnalyser(vulnerabilities),new TrustManagerAnalyser(vulnerabilities),new SslContextAnalyser(vulnerabilities));
  Pack wjtp=PackManager.v().getPack("String_Node_Str");
  wjtp.add(new Transform("String_Node_Str",transformer));
  Scene.v().loadNecessaryClasses();
  PackManager.v().runPacks();
  System.err.println(vulnerabilities.size() + "String_Node_Str");
  System.err.flush();
  for (  Vulnerability vulnerability : vulnerabilities) {
    System.out.println(vulnerability.toString());
  }
}