Polyspace®

Quality. Safety. Security.

Polyspace is a static code analysis tool used to detect vulnerabilities and critical run-time errors for C, C++, and Ada programming languages, and to proof-check whether your source code follows appropriate code standards.

Polyspace key features

  • Polyspace Bug Finder™ identifies software bugs, concurrency issues, run-time errors, and other C and C++ source code defects. It analyzes data flow, interprocedural behavior, and software control by performing static program analysis. The tool checks code compliance with coding rule standards, safety standards, and code metrics, and document compliance with MISRA, IEC 61508, ISO 26262, DO-178, and FDA regulations. 
  • Polyspace® results can be traced back to Simulink® models, Speedgoat, and dSPACE® TargetLink® blocks for automatically generated code.
  • Polyspace Code Prover™ examines C and C++ source code correctness for the presence of run-time errors such as overflow, buffer overrun, division-by-zero, out-of-bounds array access, and others. The tool checks every code instruction and provides a formal diagnostic for each operation under normal and abnormal usage conditions. 
  • Polyspace Client™ for Ada and Polyspace Server™ for Ada formally verify the absence of run-time errors in Ada source code by using static code analysis. The tools track software quality metrics and ensure the delivery of software quality objectives.

Industries

Automotive

Shape tomorrow's mobility

MATLAB, Simulink, Comsol Multiphysics, and Speedgoat can help engineers streamline their development processes and deliver products that minimize environmental impact while improving operational safety, increasing performance, and delivering new comfort levels.

Electronic

Design, simulate, test, and evaluate electronics systems

MATLAB and Simulink provide engineers with an easy way to design and simulate signal processing, neural networks, image processing, and control systems at all stages of development.
Comsol Multiphysics gives engineers access to dedicated tools to model electromagnetics at low- and high-frequency, as well as electromechanic, piezoelectric, and plasma applications.
Modular real-time target machines from Speedgoat enable engineers to swiftly simulate, test, and verify real-time controls concepts for next-generation consumer products.

Biotech and Pharmaceutical

Take your pharmaceutical research and development to the next level.

MATLAB, Simulink, and COMSOL Multiphysics allow biotech and pharmaceutical companies to advance the design and optimization of pharmaceutical production, develop algorithms, process multidisciplinary data, easily manage their entire workflows, and perform modeling and simulation for drug discovery and development.

Communications

Design, simulate, and prototype communications systems.

MATLAB, Simulink, COMSOL Multiphysics, and Speedgoat products make it possible for engineering and R&D teams to swiftly and accurately design, simulate, and verify communications systems. Teams can leverage our products to reduce development time, identify and eliminate design flaws early on, and streamline testing and verification.

Application

Products

Polyspace Access
Polyspace Access
Identifies coding defects, monitors software quality metrics, and reviews static analysis results.
Learn more
Polyspace Code Prover
Polyspace Code Prover
Formally prove the correctness of your code without executing it.
Learn more
Polyspace Bug Finder
Polyspace Bug Finder
Identify run-time errors, data flow problems, and other defects in C and C++ embedded software.
Learn more
Polyspace Client for Ada
Polyspace Client for Ada
Verifies the absence of overflow, divide-by-zero, and other run-time errors in your source code.
Learn more
Polyspace Code Prover Server
Polyspace Code Prover Server
Confirms the absence of run-time errors.
Learn more
Polyspace Server for Ada
Polyspace Server for Ada
Verifies code on computer clusters and publishes metrics.
Learn more
Polyspace Bug Finder Server
Polyspace Bug Finder Server
Identifies software defects via static analyses.
Learn more

Licenses

Show calendar

Events

Blogs and user stories

Learn about MATLAB and Simulink from enthusiastic developers and MATLAB experts who are devoted to MATLAB programming and simulation.


Deep Learning with MATLAB

Today we are living in a renaissance of artificial intelligence, Machine Learning, and Deep Learning, and everyone wants to be a part of this movement. But the question is if you interested in using deep learning technology, where do you begin?