Error: A segmentation fault occurred in "ps_databases_merger.exe".
7 次查看(过去 30 天)
显示 更早的评论
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))
0 个评论
回答(1 个)
Kilsu Kim
2023-10-18
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.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!