Program: 31310
Project: 31310
Buggy source:
public void testAllMethods() throws Exception {
  String accountName=ESAPI.randomizer().getRandomString(8,DefaultEncoder.CHAR_ALPHANUMERICS);
  Authenticator instance=ESAPI.authenticator();
  String password=instance.generateStrongPassword();
  User user=instance.createUser(accountName,password,password);
  try {
    User.ANONYMOUS.addRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.addRoles(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.changePassword(null,null,null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.disable();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.enable();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountId();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getCSRFToken();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getExpirationTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getFailedLoginCount();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastFailedLoginTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastLoginTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastPasswordChangeTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getRoles();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getScreenName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.addSession(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.removeSession(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.incrementFailedLoginCount();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isAnonymous();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isEnabled();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isExpired();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isInRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isLocked();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isLoggedIn();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isSessionAbsoluteTimeout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isSessionTimeout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.lock();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.loginWithPassword(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.logout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.removeRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.resetCSRFToken();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setAccountName(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setExpirationTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setRoles(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setScreenName(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.unlock();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.verifyPassword(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastFailedLoginTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastLoginTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastHostAddress(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastPasswordChangeTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getEventMap();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLocale();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLocale(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
}

Fixed version (ground truth):
public void testAllMethods() throws Exception {
  String accountName=ESAPI.randomizer().getRandomString(8,EncoderConstants.CHAR_ALPHANUMERICS);
  Authenticator instance=ESAPI.authenticator();
  String password=instance.generateStrongPassword();
  @SuppressWarnings("String_Node_Str") User user=instance.createUser(accountName,password,password);
  try {
    User.ANONYMOUS.addRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.addRoles(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.changePassword(null,null,null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.disable();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.enable();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountId();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getCSRFToken();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getExpirationTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getFailedLoginCount();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastFailedLoginTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastLoginTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLastPasswordChangeTime();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getRoles();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getScreenName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.addSession(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.removeSession(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.incrementFailedLoginCount();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isAnonymous();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isEnabled();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isExpired();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isInRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isLocked();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isLoggedIn();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isSessionAbsoluteTimeout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.isSessionTimeout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.lock();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.loginWithPassword(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.logout();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.removeRole(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.resetCSRFToken();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setAccountName(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setExpirationTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setRoles(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setScreenName(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.unlock();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.verifyPassword(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastFailedLoginTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastLoginTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastHostAddress(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLastPasswordChangeTime(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getEventMap();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getLocale();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.setLocale(null);
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
  try {
    User.ANONYMOUS.getAccountName();
  }
 catch (  RuntimeException e) {
  }
}