Skip to content

0.1.2

Latest
Latest
Compare
Choose a tag to compare
@jburnim jburnim released this 04 Feb 18:27
· 7 commits to master since this release
v0.1.2
eae2f42

CREST 0.1.2

This is primarily a bug fix release. Changes include:

  • Upgraded CREST to use Cil 1.7.3, to fix various CIL compilation issues.
  • Fixes a bug in instrumenting unary expressions. (Thanks to Mauro Baluda!)
  • CREST now randomize program inputs by default.
  • Added missing includes to fix CREST compilation issues. (Thanks to Derrick Coetzee!)
  • Modified bin/crestc to make it more clear when CREST's instrumentation has failed or hasn't been built. (Thanks to Eric Engstrom!)

Testing

This release has been tested on:

  • 64-bit Ubuntu 12.04 with OCaml 3.12.1 and GCC 4.6.3
  • Mac OS X 10.8.5 with OCaml 3.12.1 and OCaml 4.01.0 and GCC 4.7.3

On both of these platforms, CREST appears to work on the basic examples in test/.

Benchmarks

This release also includes all three benchmarks from Burnim, Sen, "Heuristics for Dynamic Test Generation (short paper)", ASE 2008. The benchmarks should be instrumented (generally) as they were in the paper, but I have not confirmed that CREST will work on these benchmarks on a current system.

Assets 4
Loading