Polyspace Bug Finder
Polyspace Bug Finder detects a variety of defects such as numerical, programming, static memory, dynamic memory, and dataflow. These defects are identified in the source code, with traceback information to help identify the cause and source of the defect. Coding rules violations are identified directly in the source code, with informational messages about the rule violation.
The straightforward workflow enables developers and quality engineers to classify and triage defects. For each defect detected, Polyspace Bug Finder provides detailed information on what caused the defect. For example, in situations where an integer overflow occurs, Polyspace Bug Finder traces all line numbers in the code that lead to the overflow condition. Software developers can use this information to determine how best to fix the code. Quality engineers can use this information to classify the defect for further action. For example, the quality engineer can mark the defect for further investigation or indicate that the defect is low priority.