Externally indexed torrent

If you are the original uploader, contact staff to have it moved to your account

Textbook in PDF format

Polyspace Bug Finder identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C   embedded software. Using static analysis, including semantic analysis, Polyspace Bug Finder?analyzes software control flow, data flow, and interprocedural behavior. By highlighting defects as soon as they are detected, 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  , AUTOSAR C  14, CERT C, CERT C  , and custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality metrics, including cyclomatic complexity.?
For automatically generated code, Polyspace results can be traced back to Simulink models and dSPACE TargetLink? blocks.
Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508)?and?DO Qualification Kit (for DO-178).
Polyspace Analysis Options
Analysis Options, Command-Line Only
Polyspace DOS/Unix Commands
Functions, Properties, Classes, and Apps
Configuration Parameters