User manual MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7

[. . . ] PolySpace® Products for C++ 7 User's Guide How to Contact The MathWorks Web Newsgroup www. mathworks. com/contact_TS. html Technical Support www. mathworks. com comp. soft-sys. matlab suggest@mathworks. com bugs@mathworks. com doc@mathworks. com service@mathworks. com info@mathworks. com Product enhancement suggestions Bug reports Documentation error reports Order status, license renewals, passcodes Sales, pricing, and general information 508-647-7000 (Phone) 508-647-7001 (Fax) The MathWorks, Inc. 3 Apple Hill Drive Natick, MA 01760-2098 For contact information about worldwide offices, see the MathWorks Web site. PolySpace® Products for C++ User's Guide © COPYRIGHT 1999­2010 by The MathWorks, Inc. The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. [. . . ] 3 In Please select a file dialog box, select the results file you want to view. 4 Click Open. The results appear in the Viewer window. Exploring the Viewer Window · "Overview" on page 9-13 · "Procedural Entities View" on page 9-15 · "Source Code View" on page 9-17 · "Coding Review Progress View" on page 9-19 · "Selected Check View" on page 9-20 · "Variables View" on page 9-20 · "Call Tree View" on page 9-23 Overview The PolySpace Viewer looks like the following graphic. 9-13 9 Reviewing Verification Results Coding review progress view Selected check view Procedural entities view Variables view Source code view Call tree view The appearance of the Viewer toolbar depends on the Viewer mode. By default, you see the expert mode toolbar. 9-14 Opening Verification Results In both expert mode and assistant mode, the Viewer window has six sections below the toolbar. Procedural entities view (lower left) Source code view (lower right) Coding review progress view (upper left) Selected check view (upper right) Variables view Call tree view Displays. . . List of the diagnostics (checks) for each file and function in the project Source code for a selected check in the procedural entities view Statistics about the review progress for checks with the same type and category as the selected check Details about the selected check Information about the global variables declared in the source code Tree structure of function calls You can resize or hide any of these sections. Procedural Entities View The procedural entities view, in the lower-left part of the Viewer window, displays a table with information about the diagnostics for each file in the project. The procedural entities view is also called the RTE (run-time error) view. The procedural entities view looks like the following graphic. 9-15 9 Reviewing Verification Results The file example. c is red because its has a run-time error. PolySpace software assigns to a file the color of the most severe error found in that file. The first column of the table is the procedural entity (the file or function). The following table describes some of the other columns in the procedural entities view. Column Heading Indicates Number of red checks (operations where an error always occurs) Number of gray checks (unreachable code) Number of orange checks (warnings for operations where an error might occur) Number of green checks (operations where an error never occurs) Selectivity of the verification (percentage of checks that are not orange) This is an indication of the level of proof. Tip If you see three dots in place of a heading, , resize the column until you see the heading. Resize the procedural entities view to see additional columns. 9-16 Opening Verification Results Note You can select which columns appear in the procedural entities view by right-clicking on the Procedural entities column heading, and selecting the columns you want to display. . What you select in the procedural entities view determines what you see in the other views. In the examples in this chapter, you learn how to use the views and how they interact. Source Code View The source code view (in the lower-right part of the Viewer window), shows the source code with colored checks highlighted. 9-17 9 Reviewing Verification Results Tooltips. Placing your cursor over a check displays a tooltip that provides ranges for variables, operands, function parameters, and return values. For more information on tooltips, see "Using Range Information in the Viewer" on page 9-68. Clicking a check opens a message box that provides more information about the check. 9-18 Opening Verification Results Coding Review Progress View The Coding review progress view (upper-left part of the Viewer window), displays statistics about how many checks you have reviewed. As you review checks, the software updates these statistics. The Count column displays a ratio and the Progress column displays the equivalent percentage. The first row displays the ratio of reviewed checks to total checks that have the same color and category of the current check. In this example, the first row displays the ratio of reviewed red IDP checks to total red IDP errors in the project. The second row displays the ratio of reviewed checks to total checks that have the color of the current check. In this example, this is the ratio of red errors reviewed to total red errors in the project. [. . . ] 2 In the PolySpace Settings view, select the Verify the class contents only check box. This approach is equivalent to specifying the -class-analyzer and -class-only options. If necessary, you can use the PolySpace Launcher for CPP window (PolySpace > Configure Project) to specify other options, for example, -class-analyzer-calls. Launching Verification from Eclipse Editor To launch a PolySpace verification from the Eclipse editor: 1 Select the file, files, or class that you want to verify. 2 Either right-click and select Start PolySpace Verification, or select PolySpace > Start PolySpace Verification. [. . . ]