ps_windows_inject

Hello,

we are getting the following error when trying to generate an options file through an build script. it happened through the command line as using the GUI It was tested with the MinGW compiler and Make tool as also with the ARM-MinGW are we missing something in our Polyspace installation? or is it some compiler incompatibility?

Thanks in advance,

Alejandro (on behalf of Patric's team)

Answer 1

[Alexandre De Barros]

Hello,

This error is usually coming from missing DLLs of the Microsoft Visual redistributable package (and used by polyspace-configure).

So, try installing both the x86 and x64 versions of the Visual C++ Redistributable for Visual Studio 2012 from this address http://www.microsoft.com/en-us/download/details.aspx?id=30679

If it does not work, I suggest you to contact the technical support.

Alex

Answer 2

[Patric Nolle]

Hi Alex, thanks for the tips, we contact technical support and sent a report with process monitor, apparently the process depends on several windows dll's coming from the package you suggested which are missing. Unfortunately installing this package did not succeed to solve the problem. I read in some other forums that this might be a compatibility issue for this libraries in Windows 10. Hope I can here from you soon (or from technical support). Alejandro (on behalf of Patric's team)

[Alexandre De Barros]

Hi Alejandro !

Thanks for the info. Don't hesitate to publish the results of your investigations, it may help other users.

Regards,

Alex