March 18, 2013

Dear Reactis User:

Reactis V2012.1.2

We are pleased to announce the V2012.1.2 beta release of Reactis for C. Reactis for C is a testing and validation tool targeted at embedded software developers using the C programming language.

The following bugs were fixed since V2012.1.1:

  • Fixed bug that could cause the back-end to crash when a system library function such as sprintf is called with a invalid pointer (#2422).
  • Fixed bug causing macro arguments to be expanded incorrectly in rare cases (#2430).
  • Fixed bug causing sizeof() to return the wrong value for a formal function parameter of type array (#2416).
  • Fixed bug causing a memory error message when a struct containing uninitialized padding is passed by value to a function (#2371).
  • Fixed bug causing a preprocessor error when #endif appears in the middle of a line (#2384).
  • Fixed bug causing an execution error when a combination of de-referencing and indexing operations are used to access a multi-dimensional array (#2446).
  • Fixed bug causing an execution error when pointer arithmetic is performed on struct member of type array (#2450).
  • Added missing math library function ceill (#2410).

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team

Back to Patches Archive