Welcome to Vector Fabrics Customer Support!

See what's new, submit support tickets, get answers from Vector Fabrics tech staff, and share your feature suggestions with us.
You can also send us an email at support@vectorfabrics.com.

 

Vector Fabrics Support

Vector Fabrics Support Feb 29 Product news and updates / Announcements

In addition to some bug fixes and performance improvements, this release comes with improved support for cross compilation and remote analysis. Also, from this version onward, Pareon host tools can be run on CentOS (versions 6.x and 7.x). Furthermore, it introduces an option to suppress low-severity verification messages. 

Vector Fabrics Support December 22, 2015 Product news and updates / Announcements

Pareon 2.26 introduces support for analyzing applications that run on Android 6.0 "Marshmallow". Furthermore, it shows a significant decrease in the time it takes for Pareon Verify to import analysis results and turn these into verification reports.

Vector Fabrics Support November 30, 2015 Product news and updates / Announcements

Pareon 2.25 introduces support for analyzing applications that run on 64-bit ARM/Linux platforms. Additionally, it implements detection of data races that involve concurrent use and deallocation of data.

Vector Fabrics Support October 19, 2015 Product news and updates / Announcements

Pareon 2.24 addresses several bugs present in earlier versions. Furthermore, it improves the analysis of the interaction between instrumented application code, instrumented system libraries, and uninstrumented codes. Also, analyzing with an instrumented C++ Standard Library became the default for Pareon Verify.

Vector Fabrics Support September 21, 2015 Product news and updates / Announcements

Pareon 2.23 presents a major improvement in C11/C++11 language support, and several usability improvements.

  • Pareon now analyses programs that throw C++11 exceptions
  • Pareon now analyses programs that use computed gotos
  • Pareon now analyses programs that use the __thread storage class
  • Pareon now has powerful batch-mode remote analysis features
  • Pareon Verify tracks the full parent-child thread creation history
  • Pareon Verify has improved detection of in-object, out-of-bounds accesses