public release version 3.1

IKOS version 3.1 release notes

Release date

December 2022

List of changes

LLVM frontend changes

• Upgrade LLVM from 9.0.x to 14.0.x

Analyzer changes

• Add option to trace the invariant during analysis.
• Fix issue detecting uses of uninitialized dynamically-allocated memory.
• Allow analysis of programs without debug information.
• Support producing reports in SARIF format.
• Support producing reports in JUnit format.
• Allow running ikos-scan without an HTTP server, outputting JSON.
• Update use of deprecated Python function isAlive.
• Small refactoring changes.

Overall changes

• Update installation instructions for Ubuntu 20.04.