Skip to content

SMACK v1.4.1
Compare
Choose a tag to compare
@zvonimir zvonimir released this 21 Jul 16:53
v1.4.1
b0958c8

Release notes:

  • cleaned up memory models (removed twodim memory model); also, memory models can now be changed without changing and recompiling SMACK since they are mostly specified as separate SMACK headers
  • SMACK parameters can now be specified per file in comments using SMACK-OPTIONS keyword
  • created a build script for Ubuntu 14.04
  • implemented smackreach script that computes code reachability info using SMACK (thanks to Montgomery Carter)
  • updated rise4fun examples (thanks to Arvind Haran)
  • implemented a new memory model that allows memory reuse when malloc is invoked
  • implemented support for memset and memcpy
  • bug fixes
Assets 2
Loading