MPLAB Data Visualizer vs. MPLAB Harmony v3 vs. Polyspace Code Prover vs. V Programming Language Comparison Chart

Troubleshooting your code's run-time behavior has never been easier. MPLAB® Data Visualizer is a free debugging tool that graphically displays run-time variables in an embedded application. Available as a plug-in for MPLAB X Integrated Development Environment (IDE) or a stand-alone debugging tool, it can receive data from various sources such as the Embedded Debugger Data Gateway Interface (DGI) and COM ports. You can also track your application's run-time behavior using a terminal or graph. To get started with visualizing data, check out the Curiosity Nano Development Platform and Xplained Pro Evaluation Kits. Capture data streamed from a running embedded target via serial port (CDC) or the Data Gateway Interface (DGI). Concurrently stream data and debug target code using MPLAB® X IDE. Decode data fields at runtime using the Data Stream Protocol format. Visualize the raw or decoded data in a graph as a time series or display the data in a terminal.

Polyspace Code Prover is a static analysis tool designed to prove the absence of critical runtime errors in C and C++ code without executing it. By utilizing formal methods, it analyzes all code paths and input scenarios to identify potential issues such as overflows, divide-by-zero errors, and out-of-bounds accesses. It provides insights into variables' ranges and identifies unreachable code, helping developers optimize software performance and ensure quality. Polyspace Code Prover supports safety standards like IEC 61508, ISO 26262, and DO-178C, making it suitable for industries requiring rigorous software certification.