Catalogs >
The MathWorks >
Polyspace Client for C/C++

Polyspace Client for C/C++
5Pages

Catalog excerpts

Polyspace Client for C/C++ Prove the absence of run-time errors in source code Polyspace Client™ for C/C++ provides code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code using static code analysis that does not require program execution, code instrumentation, or test cases. Polyspace Client for C/C++ uses formal methods-based abstract interpretation techniques to verify code. You can use it on handwritten code, generated code, or a combination of the two, before compilation and test. Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and DO ■ File- and class-level software component verification ■ Formal methods-based abstract interpretation ■ Display of run-time errors directly in code ■ MISRA-C®:2004, MISRA-C++:2008, and JSF++ coding standard enforcement, with direct source file links ■ Cyclomatic complexity and other code metrics ■ Eclipse™ and Microsoft® Visual Studio® IDE integration Green: reliable static void pointer_arithmetic (void) { Purple: violation code rules ----------------- Range data Polyspace Viewer, showing color-coding for each file, procedure, and line of C/C+ + code. Accelerating the pace of engineering and science

Open the catalog to page 1

Working with Polyspace Client for C/C++ Polyspace Client for C/C++ provides management and visualization capabilities for verifying software components on a desktop computer. It processes file-by-file or class-by-class verification as soon as the source code is written, updated, or generated. When used with Polyspace Server™ for C/C++, Polyspace Client for C/C++ lets you submit verification jobs to computer clusters. Using the Polyspace Client for C/C++ command line or graphical user interfaces with Visual Studio or Eclipse, you can: ▪ Define which components, files, or classes of the...

Open the catalog to page 2

Detect Run-Time Errors Polyspace Client for C/C++ uses color-coding to indicate the status of each element in the code, as follows: Green: proven free of run-time errors Red: proven faulty each time the operation is executed Gray: proven unreachable (may indicate a functional issue) Orange: unproven Errors detected include: ▪ Overflows, underflows, divide-by-zero, and other arithmetic errors ▪ Out-of-bounds array access and illegally dereferenced pointers ▪ Always true/false statement due to dataflow propagation ▪ Read access to noninitialized data ▪ Dead code ▪ Access to null this pointer...

Open the catalog to page 3

f." PorYSpace Metrics - Windows Internet Explorer provided by The riothWorks, Inc. T hnpil/fr-tataffl.maihwpns. ccumBflSOftnetncs-ritml ^roq =&a^o_He^c&^ode ^nteyad^^ornpariSQnMade=^sg^Q^]1^QIT | *t X |~~ ■MT <fir PorySpace Metrics I I J £fc - 0 ' # Demo_Metrics (Integration) PolySpace* Metrics Coding Rule Defects ftun-T-rne Defect Run-Time Retabirty [%] Web dashboard (requires Polyspace Server for C/C++). You can monitor the progress of the software quality and decide which part of the software needs more attention. Create Artifacts for Certification You can use Polyspace Client for C/C++...

Open the catalog to page 4

Resources Product Details, Examples, and System Requirements www.mathworks.com/products/polyspaceclientc Online User Community www.mathworks.com/matlabcentral Trial Software www.mathworks.com/trialrequest Training Services www.mathworks.com/training Sales www.mathworks.com/contactsales Third-Party Products and Services www.mathworks.com/connections Technical Support www.mathworks.com/support Worldwide Contacts www.mathworks.com/contact © 2012 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a list of additional...

Open the catalog to page 5