Skip to content

public release version 1.2
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 28 Nov 02:45
· 490 commits to master since this release
v1.2
9a69ea0

IKOS version 1.2 release notes

Release date

October 2016

List of changes

IKOS Core changes

  • Added an abstract domain to handle C++ exceptions.

Analyzer changes

  • Implemented a proper C++ exception propagation handling using abstract interpretation. IKOS correctly handles C++ code with exceptions.
  • Improved the analysis of string-related functions (such as strlen, strcpy and strcat).
  • Fixed the precision of the null dereference analysis.

ARBOS changes

  • Removed AR_Unwind as it is no longer generated by LLVM since LLVM 3.1
  • Added APIs to set and retrieve the "resume" basic block in an AR_Code.
Assets 2
Loading