Error: A segmentation fault occurred in "ps_databa​ses_merger​.exe".

Please use a translator to consider that some expressions may not be smooth.

An error is occurring in only one project while turning the bugfinder through the CLI. The message is below and all I've tried is to stretch the memory on the JVM.

Run environment

OS : Windows Server 2019 (AWS EC2)

CPU : Intel® Xeon® Platinum 8175M CPU @ 2.50GHz

Memory : 64GB

Polyspace Version : R2023a

Error: A segmentation fault occurred in "ps_databases_merger.exe".

Packing compilation data
done.

**********************************************************
***
*** C sources verification done
***
**********************************************************
Ending at: Tue Oct 17 11:34:31 2023
User time for compilation: 00:13:10 (790.17real, 790.17u + 0s (0.31gc))


---------------------------------------------------------------------------------------
---                                                                                 ---
--- Polyspace has encountered an internal error. Please do one of the following:    ---
--- * Check if the error comes from your antivirus software. Disconnect from the    ---
---   network, suspend your antivirus temporarily and restart.                      ---
--- * Check MathWorks Bug Reports or MATLAB Answers for a similar problem and       ---
---   possible workarounds.                                                         ---
--- * Contact Technical Support (TS) via: www.mathworks.com/support/contact_us.     ---
---   - To help TS reproduce the issue, provide the results folder in compressed    ---
---     (.zip) form. The folder includes the log file with your analysis options.   ---
---   - If you do not want to send the results folder, use Polyspace Obfuscator     ---
---     to obfuscate details of your code: download the tool on MATLAB Central.     ---
---     Then provide the obfuscation.zip and log file.                              ---
---                                                                                 ---
---------------------------------------------------------------------------------------


Failure at: Tue Oct 17 11:34:31 2023
Internal error: An error occurred while preparing the SQL query:
|               INSERT OR REPLACE INTO GlobalSetting (Name, Value) VALUES (?, ?)
|               out of memory (SQL error)
Internal error: Unable to update AnalysisTime global setting in results database (out of memory (errcode=21 extended errcode=7))

Answer 1

[Kilsu Kim]

Hello,

We need more information to investigate this issue. Please contact Technical Support team via https://www.mathworks.com/support/contact_us.html with the result folder in compressed (.zip) form.