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

[analyzer] Use IPv6 when available. Close #158. #229

Merged

Conversation

ivanperez-keera
Copy link
Collaborator

@ivanperez-keera ivanperez-keera commented Oct 29, 2023

This PR makes IKOS use IPv6 if it is available, as well as IPv4.

@ivanperez-keera
Copy link
Collaborator Author

ivanperez-keera commented Oct 29, 2023

I have a limited environment to test it. I'd appreciate a second pair of eyes before merging this. The obvious case does not worry me --I think my solution works for those--, it's more about systems where the obvious solution may not work, like Mac or Windows.

@ivanperez-keera
Copy link
Collaborator Author

Marking this as draft so that it's not merged until we have confirmation that it works. I left a message in #158 asking the original reporter to try this solution.

Once it's confirmed, I'd like to rebase this on top of HEAD so avoid branch crosses.

@ivanperez-keera ivanperez-keera force-pushed the dev-fix-server-ipv6 branch 5 times, most recently from 7ae09f9 to a3b34fa Compare November 27, 2023 17:49
).

This commit adds a new class HTTPServerIPv6 that listens on IPv6 by
default when available.

In systems where IPv6 is not available, the server attemps to use IPv4.

In systems with dual stack (e.g., default on linux), opening a server in
IPv6 will also listen in IPv4.
This commit makes ikos-scan and ikos-view use IPv6 when available. More
specifically, it replaces uses of HTTPServer, which by default only
listens on IPv4 interfaces, with calls to a custom class HTTPServerIPv6.
The latter listens on IPv6 when available, as well as IPv4 whenever
dual-stack is supported. If IPv6 is not available, the server defaults
to the old behavior implemented by HTTPServer.
@ivanperez-keera ivanperez-keera marked this pull request as ready for review November 27, 2023 18:07
@ivanperez-keera ivanperez-keera merged commit 45d7f1c into NASA-SW-VnV:master Nov 29, 2023
2 checks passed
@ivanperez-keera ivanperez-keera deleted the dev-fix-server-ipv6 branch November 29, 2023 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant