Public Release 3.2

Release date

December 2023

Summary

This is a maintenance release that addresses bugs related to Python packaging, LLVM 14, IPv6 handling and multi OS support. Other changes focus on the documentation, the software engineering process and leveraging features offered by Github.

There are two notable changes:

• We've dropped support for Python 2.
• We've added CI jobs via Github actions, which should ensure that IKOS keeps working on supported platforms.

List of changes

Analyzer changes

• Fixed hang of IKOS server due to not listening on IPv6 (#158).
• Fixed exception on Windows when IKOS is executed from a different drive (#165).
• Fix incorrect argument -section in call to llvm-objdump by @lojikil (#199).
• Fixed installation issues related to Python (#243, #242, #233, #193, #185).
• Fixed error parsing the output of llvm-objdump in LLVM 14 (#203).
• Typo fixes (#227).

AR Changes

• Add missing include directives by @gitrj95 (#201).

Overall changes

• Added documentation to the troubleshooting guide regarding a bug in old versions of APRON (#78).
• Added documentation to the troubleshooting guide regarding lack of support for multi-threaded code (#124).
• Fix the unaligned pointer analysis check parameter in the README.md file by @asensi in (#222).
• Set up Continuous Integration to build for Mac and Linux (#223).
• Fixed over-reaching gitignore rules (#217).
• Created Github releases for all IKOS versions, and attached the release notes to them (#219).
• Bump Copyright years (#246, #249).
• Version bump (#255).
• Improved issue / milestone / release handling process (not reflected as a separate issue).
• Fixed homebrew formula (NASA-SW-VnV/homebrew-core#9).

Metrics

23 issues were closed as part of IKOS 3.2.

The net balance including all files (e.g., code, docs) is that IKOS 3.2 is 437 lines smaller than the previous version.

We had submissions from 4 new authors who had never submitted patches to IKOS before.

Full Changelog: v3.1...v3.2