View Error Information When Analysis Stops
Check error messages in the user interface or log file when analysis does not complete.
Errors Related to Generic Compiler
Diagnose Polyspace compilation errors after you specify the generic compiler.
Errors Related to Keil or IAR Compiler
Diagnose why Polyspace® cannot find an identifier when you specify the Keil or IAR compiler.
Errors Related to Diab Compiler
Diagnose Polyspace compilation errors after you specify the Diab compiler.
Errors Related to Green Hills Compiler
Diagnose Polyspace compilation errors after you specify the Green Hills compiler
Errors Related to TASKING Compiler
Diagnose Polyspace compilation errors after you specify the TASKING compiler.
Errors from In-Class Initialization (C++)
Learn why static data members of a class cannot be initialized inside the class definition.
Errors from Double Declarations of Standard Template Library Functions (C++)
Diagnose why double declarations of standard template library functions cause compilation failures.
Errors Related to GNU Compiler
Diagnose compilation errors associated with a GNU® compiler.
Errors Related to Visual Compilers
Diagnose compilation errors associated with a Visual® compiler
Errors from Conflicts with Polyspace Header Files
Learn why linking errors can happen when your compiler redefines standard library functions and how to work around the cause.
Errors from Using Namespace std Without Prefix
Work around errors from using members of the std namespace without explicitly specifying the std:: scope
Errors from Assertion or Memory Allocation Functions
Learn why the verification discards your redefinition of assertion or memory allocation functions.
Error or Slow Runs from Disk Defragmentation and Anti-virus Software
Diagnose errors associated with disk defragmentation and anti-virus software.
Diagnose why the verification fails to create a folder for temporary file storage.
Resolve License Error -4,0 when running Polyspace analysis.
Resolve SQLite I/O Error when running Polyspace analysis.
Contact Technical Support About Issues with Running Polyspace
Learn what MathWorks® Technical Support needs from you to diagnose an issue.