Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Non-termination in CFG construction #6433

Closed
msridhar opened this issue Jan 31, 2024 · 1 comment · Fixed by #6439
Closed

Non-termination in CFG construction #6433

msridhar opened this issue Jan 31, 2024 · 1 comment · Fixed by #6439
Assignees

Comments

@msridhar
Copy link
Contributor

Related to #6430

On the following test input, CFG construction does not terminate for the main method:

import java.io.*;
import java.net.URISyntaxException;
import java.security.*;
import java.security.cert.CertificateException;
import javax.net.ssl.*;

class Test {
  public static void SSLFollowedByRegularConnection()
      throws IOException,
          InterruptedException,
          NoSuchAlgorithmException,
          KeyManagementException,
          KeyStoreException,
          UnrecoverableKeyException,
          CertificateException,
          URISyntaxException {}

  public static void main(String[] args)
      throws IOException,
          InterruptedException,
          NoSuchAlgorithmException,
          KeyManagementException,
          KeyStoreException,
          UnrecoverableKeyException,
          CertificateException,
          URISyntaxException {
    SSLFollowedByRegularConnection();
    while (true) {}
  }
}

(Probably could be minimized further.) Execution gets stuck in the org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree#mergeConsecutiveBlocks routine.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant