PolySpace Technologies empowers companies
building embedded software applications with the world’s first and unique
solution for the automatic detection of run-time errors at compile time. It
streamlines white-box and other types of conventional software testing to
deliver unparalleled cost and time savings while improving the reliability
of software applications.
Based on advanced abstract semantic analysis techniques, PolySpace analyses
the internal dynamics of applications by relying solely on their source
code. Then, it highlights run-time errors directly in the code, following a
proven time-saving process, dramatically reducing the need for lengthy
debugging. No test cases, instrumentation or execution is required.
PolySpace is available in three different versions — C, C++ and Ada — for
Windows, Linux and Solaris.
PolySpace solutions are currently used by a premier list of Fortune 500
companies located in North America, Europe and Asia, in such industries as
Defence, Automotive, Aerospace, Consumer Electronics, Transport and