search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.03k stars 150 forks source link

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

Closed ivanperez-keera closed 10 months ago

ivanperez-keera commented 11 months ago

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

ivanperez-keera commented 11 months ago

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 commented 11 months ago

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.