Report Generation checkID errors

1 view (last 30 days)
Alper Onrat
Alper Onrat on 26 Apr 2018
Hello,
I am trying to generate report from polyspace bug finder, but there is an exception which I can't find any solution despite I searched almost all questions about polyspace. After bug finder results done, I am clicking "Reporting/Run Report.." from top bar. Then, "Update Justifications" dialog opening after a little while, "Run Report" dialog opening. In "Select reports" section I choose BugFinder but it does not matter what I choose, problem occurs in every situation. I don't change other settings, I just click "Run Report" but errors occur.
Here Details:
Initializing...
Polyspace Report Generator
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Error: no description for checkID: PROJECT_METRICS
Error: no group for checkID: PROJECT_METRICS
Error: no description for checkID: FILES
Error: no group for checkID: FILES
Error: no description for checkID: ADA_FILES
Error: no group for checkID: ADA_FILES
Error: no description for checkID: ADA_LINES_WITHOUT_CMT
Error: no group for checkID: ADA_LINES_WITHOUT_CMT
Error: no description for checkID: INCLUDES
Error: no group for checkID: INCLUDES
Error: no group for checkID: AP_CG_CYCLE
Error: no description for checkID: AP_CG_DIRECT_CYCLE
Error: no group for checkID: AP_CG_DIRECT_CYCLE
Error: no group for checkID: PROG_MAX_STACK
Error: no description for checkID: PROG_MIN_STACK
Error: no group for checkID: PROG_MIN_STACK
Error: no group for checkID: PSHV
Error: no group for checkID: UNPSHV
Error: no group for checkID: PACKAGES
Error: no description for checkID: PACKWITH
Error: no group for checkID: PACKWITH
Error: no description for checkID: SUBPWITH
Error: no group for checkID: SUBPWITH
Error: no description for checkID: FILE_METRICS
Error: no group for checkID: FILE_METRICS
Error: no description for checkID: TOTAL_LINES
Error: no group for checkID: TOTAL_LINES
Error: no description for checkID: LINES_WITHOUT_CMT
Error: no group for checkID: LINES_WITHOUT_CMT
Error: no group for checkID: COMF
Error: no group for checkID: FCO
Error: no description for checkID: FUNCTION_METRICS
Error: no group for checkID: FUNCTION_METRICS
Error: no description for checkID: FLIN
Error: no group for checkID: FLIN
Error: no group for checkID: FXLN
Error: no group for checkID: VG
Error: no group for checkID: VOCF
Error: no group for checkID: PATH
Error: no description for checkID: CALLING
Error: no group for checkID: CALLING
Error: no group for checkID: CALLS
Error: no group for checkID: NCALLS
Error: no group for checkID: STMT
Error: no group for checkID: LEVEL
Error: no group for checkID: PARAM
Error: no group for checkID: GOTO
Error: no group for checkID: RETURN
Error: no group for checkID: LOCAL_VARS_MAX
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýles
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: ada_fýles
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: ada_lýnes_wýthout_cmt
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: ýncludes
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: ap_cg_dýrect_cycle
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: prog_mýn_stack
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: packwýth
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: subpwýth
Warning: resource not found - catalog: polyspace:gui:checks key: project_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: total_lýnes
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: lýnes_wýthout_cmt
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: fýle_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: flýn
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: callýng
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: local_vars_mýn
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: local_statýc_vars
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Warning: resource not found - catalog: polyspace:gui:checks key: mýn_stack
Warning: resource not found - catalog: polyspace:gui:checks key: functýon_metrýcs
Error: no description for checkID: LOCAL_VARS_MIN
Error: no group for checkID: LOCAL_VARS_MIN
Error: no group for checkID: LOCAL_VARS
Error: no description for checkID: LOCAL_STATIC_VARS
Error: no group for checkID: LOCAL_STATIC_VARS
Error: no group for checkID: MAX_STACK
Error: no description for checkID: MIN_STACK
Error: no group for checkID: MIN_STACK
Error: no description for checkID: NUMERICAL_CHECKS
Error: no group for checkID: NUMERICAL_CHECKS
Error: no group for checkID: POW
Error: no group for checkID: UOVFL
Error: no group for checkID: UNFL
Error: no group for checkID: ZDV
Error: no group for checkID: OVFL
Error: no group for checkID: SOVFL
Error: no group for checkID: FOVFL
Error: no description for checkID: INVALID_FLOAT_OP
Error: no group for checkID: INVALID_FLOAT_OP
Error: no group for checkID: SUBNORMAL
Error: no group for checkID: SHF
Error: no description for checkID: STATIC_MEMORY_CHECKS
Error: no group for checkID: STATIC_MEMORY_CHECKS
Error: no description for checkID: OBAI
Error: no group for checkID: OBAI
Error: no description for checkID: IDP
Error: no group for checkID: IDP
Error: no group for checkID: ABS_ADDR
Error: no description for checkID: NIV
Error: no description for checkID: NIVL
Error: no description for checkID: NIP
Error: no description for checkID: IRV
Error: no description for checkID: IPT
Error: no description for checkID: STD_LIB
Error: no description for checkID: AUTOSAR_IMPL
Error: no description for checkID: INF
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: ýnvalýd_float_op
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Warning: resource not found - catalog: polyspace:gui:checks key: statýc_memory_checks
Warning: resource not found - catalog: polyspace:gui:checks key: statýc_memory_checks
Warning: resource not found - catalog: polyspace:gui:checks key: obaý
Warning: resource not found - catalog: polyspace:gui:checks key: statýc_memory_checks
Warning: resource not found - catalog: polyspace:gui:checks key: ýdp
Warning: resource not found - catalog: polyspace:gui:checks key: statýc_memory_checks
Warning: resource not found - catalog: polyspace:gui:checks key: statýc_memory_checks
Warning: resource not found - catalog: polyspace:gui:checks key: nýv
Warning: resource not found - catalog: polyspace:gui:checks key: nývl
Warning: resource not found - catalog: polyspace:gui:checks key: nýp
Warning: resource not found - catalog: polyspace:gui:checks key: ýrv
Warning: resource not found - catalog: polyspace:gui:checks key: ýpt
Warning: resource not found - catalog: polyspace:gui:checks key: std_lýb
Warning: resource not found - catalog: polyspace:gui:checks key: autosar_ýmpl
Warning: resource not found - catalog: polyspace:gui:checks key: ýnf
Warning: resource not found - catalog: polyspace:gui:checks key: numerýcal_checks
Error using PolySpaceResult/Initialise (line 323)
Java exception occurred:
java.lang.ExceptionInInitializerError
at com.polyspace.util.io.database.general.SharedData_14b.<clinit>(SharedData_14b.java:34)
at com.polyspace.util.io.database.QueryProxy.getOptionSet(QueryProxy.java:323)
at com.polyspace.util.RTEFileParser.getGlobalInformationFromDB(RTEFileParser.java:185)
at com.polyspace.util.RTEFileParser.parseRTEFile(RTEFileParser.java:128)
at com.polyspace.util.RTEFileParser.<init>(RTEFileParser.java:52)
at com.polyspace.util.ReportInterface.ReportInterface.<init>(ReportInterface.java:107)
at com.polyspace.view.ReportWysiwyg.<init>(ReportWysiwyg.java:43)
Caused by: java.lang.NullPointerException
at com.polyspace.structure.CheckDefinitions.addRTEDefinitions(CheckDefinitions.java:318)
at com.polyspace.structure.CheckDefinitions.parseCheckDefinitions(CheckDefinitions.java:271)
at com.polyspace.structure.CheckDefinitions.getCategories(CheckDefinitions.java:152)
at com.polyspace.structure.adapter.Internal_Form_Serializer.<init>(Internal_Form_Serializer.java:261)
at com.polyspace.structure.adapter.Internal_Form_Serializer.<clinit>(Internal_Form_Serializer.java:72)
... 7 more
Error in PolySpaceResult (line 63)
Error in PolySpaceResultInterface (line 175)
Error in polyspace_report (line 72)
MATLAB:Java:GenericException
I would be very happy if you could help.
Best regards,
Alper Onrat

Answers (0)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!