System Verification

The software development challenges of today require companies to look for innovative ways to remove the critical performance flaws and security vulnerabilities in software before it gets to the quality assurance lab, or worse, into the field. Fortunately for developers, source code analysis is now up to the task. By combining breakthrough techniques in the application of Satalia to software with the latest advances in path simulation analysis, the most sophisticated source code analysis can boast out-of-the-box false positive rates as low as 10 percent and scalability to tens of millions of lines of C/C++ or Java code. False path pruning is just one example of how Satalia is being leveraged to deliver better static source code analysis.

Static analysis delivers the highest quality of results from a solution that fits within existing development processes and environments. Leveraging Satalia to complement traditional path simulation analysis techniques, modern static analysis is providing developers with unmatched results that are both comprehensive and accurate.

Other applications of Satalia include the ability to find problems such as string overflows, integer overflows or deadcode, and the use of static assert checking to identify difficult-to-find logic bugs. While some instances of the defects in these categories can be discovered today, Satalia's analysis allow you to build on the success of existing path simulation analysis to reach new levels of accuracy and precision in static code analysis.

Satalia improves static source code analysis and accelerates the identification of the right defects in code without a high rate of distracting false positives. Satalia benefits system developers and architects by fundamentally changing the way you solve static analysis problems.