Public release 3.4

Release date

September 2024

Summary

This release addresses bugs related to missing includes, it fixes an error in the CI infrastructure, and addresses a false positive that may arise when snprintf is used.

List of changes

analyzer

• analyzer: Allow snprintf(NULL, 0, ...) (#221).
• analyzer: Add missing include (#273).

Overall changes

• Fix CI job for Mac due to image upgrade (#276).
• Version bump (#287).

Metrics

4 issues were closed as part of IKOS 3.4.

The net balance including all files (e.g., code, docs) is that IKOS 3.4 is 30 lines bigger than the previous version.

We had submissions from 1 new author who had never submitted patches to IKOS before.

Full Changelog: v3.3...v3.4