Polyspace Bug Finder0 pages

Polyspace Bug Finder

Identify software defects via static analysis

Polyspace Bug Finder™ identifies run-time errors, data flow problems, and other defects in C and C++ embedded

software. Using static analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural

behavior. It lets you triage and fix bugs early in the development process.

Polyspace Bug Finder checks compliance with coding rule standards such as MISRA-C , MISRA-C++, JSF++, and

custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality

metrics such as cyclomatic complexity. Polyspace Bug Finder can be used with the Eclipse™ IDE and integrated

into existing build systems.

For automatically generated code, Polyspace results can be traced back to Simulink models, dSPACE

TargetLink blocks, and IBM Rational Rhapsody diagrams.

Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and DO

Qualification Kit (for DO-178). Support for Ada language also available.

Key Features

■ Detection of run-time errors, data flow problems, and other defects in C and C++ code

■ Fast analysis of large code bases

■ Compliance checking for MISRA-G2004, MISRA-C++:2008, JSF++, and custom naming conventions

■ Cyclomatic complexity and other code metrics

■ Eclipse™ integration

■ Traceability of code verification results to Simulink models

■ Access to Polyspace Code Prover™ results

■ Bug detection with low false-positive results

File Edit Run Review Options Window Help

-. > fcj | J£ ^ ft | # j < E3 331 # & Seardh

(l^ I ^ ^ K£r 3: Non ntabed variable

I I

Oieck

- Casesensnve Whale word'

Fgmty Fie Furtcrjon ratification

1 Defect - DeFects: 33

- Data-Paw - Defects: 12

*. Dead code - Defects: 2

.*. Missnq or nuakd return statement ■ Defects: 1

♦ Nrjn-nfciaired parrter - Defects: 2

Non-nt-akzed viable - Defects: 2

1 dvTiamcmernrjry.c buo_noti.

+ Wrte without a further read - Defects: 5

-v Dynamc memory - Defects: 6

| Numerical - Defects.; 2

■■ Otter - Defects.: 2

Proqrannrnriq - Defects: b

W Static memory - Defects: 5

-. 1 MISFtA-C Warnnq - CwKiq Rules: 3-17

+i 10 Arthmebc type conversions - Codnq Rules: 13

& 12 Expressions - Codhq Rutes: 5

13 Control state-merit expressions - Codnq Rules: 1

| 14 Control flow - Co*iq Rubs; 33

9-16 Functions - CooViq Rides: 13

■■ 20 Starnlard Ijraries - Co*iq Rules: 43

' 21 Run-tme faJures - Codnq Rules: 9

■< Q Dedaratbns and definrions - Catfriq Rules: 139

a: 9 Irrtiafcauon - Codnq Rules: 2

'. Variable trace

ID 3: t Non-ribatzed wamble

Local ^arable is not htiabed (type: ht 32)

heal variable frit 32): Futfangg ..231-!]

i Project Manager f^v, Rtisuts Manager |

dataflow.c / bgg_rtcitritiabedvanable()

S& return value; /* Defect: Variable may not be initialized */

Scope

bua_ngtfiiBtzedvanable(> $1

int coirenand;

int v*lu*;

if (eoauuid ■« 2)

value = cretsenaorO :

efeot: Variable may not be initialized */

Static analysis results displayed by Polyspace Bug Finder.

^VMathWorks-

Accelerating the pace of engineering and science