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 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

Vector Fabrics Admin August 3, 2015 Product news and updates / Announcements

Pareon 2.22 is the second release that features both Pareon Profile and Pareon Verify.
It is the first release to also provide a Jenkins plug-in for Pareon Verify.

Other noteworthy new features include:

  • Pareon now supports the ARM hardfloat ABI
  • Pareon now shows struct and class field names
  • Pareon Verify supports analysis of atomic memory accesses
  • Pareon Verify displays more info for memory leaks, including the last known location where a pointer to a leaked object was in scope
  • Pareon Verify now can handle all of the C++ standard library and will only generate appropriate messages
  • Pareon Verify now finds various types of "use after deallocation" errors
  • Pareon Verify merges reports from multiple runs and removes any resulting duplicate messages

Pareon 2.22 also has seen various bugfixes and speed improvements.