Program: 62132
Project: 62132
Buggy source:
/** 
 * Utility method to configure the application endpoint whatever security implementation is defined.
 * @param httpSecurity The http security object to configure.
 * @throws Exception see httpSecurity.authorizeRequests()
 */
public static void configure(HttpSecurity httpSecurity,LogoutSuccessHandler successLogoutHandler) throws Exception {
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").permitAll();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAnyAuthority("String_Node_Str","String_Node_Str","String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").permitAll();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").authenticated();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").authenticated();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.formLogin().defaultSuccessUrl("String_Node_Str").failureUrl("String_Node_Str").loginProcessingUrl("String_Node_Str").usernameParameter("String_Node_Str").passwordParameter("String_Node_Str").permitAll();
  if (successLogoutHandler == null) {
    httpSecurity.logout().logoutSuccessUrl("String_Node_Str").deleteCookies("String_Node_Str");
  }
 else {
    httpSecurity.getConfigurer(LogoutConfigurer.class).logoutSuccessHandler(successLogoutHandler);
  }
  httpSecurity.exceptionHandling().accessDeniedHandler(accessDeniedHandler);
  httpSecurity.exceptionHandling().authenticationEntryPoint(new FailureAuthenticationEntryPoint());
  httpSecurity.csrf().disable();
}

Fixed version (ground truth):
/** 
 * Utility method to configure the application endpoint whatever security implementation is defined.
 * @param httpSecurity The http security object to configure.
 * @throws Exception see httpSecurity.authorizeRequests()
 */
public static void configure(HttpSecurity httpSecurity,LogoutSuccessHandler successLogoutHandler) throws Exception {
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").permitAll();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAnyAuthority("String_Node_Str","String_Node_Str","String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").permitAll();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").authenticated();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").authenticated();
  httpSecurity.authorizeRequests().antMatchers("String_Node_Str").hasAuthority("String_Node_Str");
  httpSecurity.formLogin().defaultSuccessUrl("String_Node_Str").failureUrl("String_Node_Str").loginProcessingUrl("String_Node_Str").usernameParameter("String_Node_Str").passwordParameter("String_Node_Str").permitAll();
  if (successLogoutHandler == null) {
    httpSecurity.logout().logoutSuccessUrl("String_Node_Str").deleteCookies("String_Node_Str");
  }
 else {
    httpSecurity.getConfigurer(LogoutConfigurer.class).logoutSuccessHandler(successLogoutHandler);
  }
  httpSecurity.exceptionHandling().accessDeniedHandler(accessDeniedHandler);
  httpSecurity.exceptionHandling().authenticationEntryPoint(new FailureAuthenticationEntryPoint());
  httpSecurity.csrf().disable();
}