Pareon Verify is a dynamic analyzer that detects hard-to-find errors that only appear in the execution of an application. »Detecting software errors after deployment is not only exponentially more expensive to fix, it negatively impacts the brand and reputation of the system provider«, said Martijn Rutten, CEO and co-founder of Vector Fabrics. »Pareon Verify, a kind of MRI scanner for millions of lines of code, protects you from this kind of risk. Pareon Verify analyzes the behavior of the system and pinpoints the software error at its origin so that it’s easy to fix.«
In embedded systems, whether smartphones, automobiles, airplanes, or medical devices, the number of lines of code now often surpasses 100 million. The shift to multicore systems has significantly increased code complexity as well with added risk of race conditions or »software glitches«. The result is a breed of bugs that are particularly difficult to detect via traditional methods. With Pareon Verify, the customer’s current (cross) compiler is replaced by Pareon’s instrumenting C/C++ compiler. Intrusiveness and memory footprint on the target are very low, as the analyses take place on a separate PC after program execution. By implementing Pareon Verify at the beginning of development, companies can follow a process of continuous integration in which a central server builds and runs a test on all newly added source code, checking for errors immediately while the code is fresh in the developers’ minds and can be more easily fixed.
Halle 4, Stand 645