Searched full:coverity (Results 1 – 15 of 15) sorted by relevance
3 run [Synopsys Coverity](https://www.synopsys.com/software-integrity/security-testing/static-analysi…7 Coverity version 2022.6.1 incorrectly infers the type of `pdTRUE` and `pdFALSE`11 needed after Coverity fixes the issue of incorrectly inferring the type of20 Coverity can be run on any platform mentioned [here](https://sig-docs.synopsys.com/polaris/topics/c…21 The following are the prerequisites to generate coverity report:32 1. Update the compiler configuration in Coverity:38 cmake -B build -S examples/coverity45 4. Go to the Coverity output directory (`cov-out`) and begin Coverity static50 --coding-standard-config ../examples/coverity/coverity_misra.config \
3 project(coverity) project8 # Coverity incorrectly infers the type of pdTRUE and pdFALSE as boolean because11 # false positive warnings. This workaround will not be needed after Coverity
6 title: "Coverity MISRA Configuration",
1 name: Coverity Scan16 Coverity-Scan:18 name: Coverity Scan38 stepName: Install Coverity Build45 …wget -nv -qO- https://scan.coverity.com/download/linux64 --post-data "token=${COVERITY_TOKEN}&proj…52 stepName: Coverity Build71 stepName: Upload Coverity Report for Scan84 https://scan.coverity.com/builds?project=FreeRTOS-Kernel)
5 Coverity static analysis. Since the FreeRTOS kernel is designed for11 Additionally, [MISRA configuration file](examples/coverity/coverity_misra.config)14 ### Suppressed with Coverity Comments
102 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupCreateStatic()147 /* coverity[misra_c_2012_rule_11_5_violation] */ in xEventGroupCreate()707 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupGetStaticBuffer()721 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupGetStaticBuffer()743 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupSetBitsCallback()759 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupClearBitsCallback()832 /* coverity[misra_c_2012_rule_11_5_violation] */ in uxEventGroupGetNumber()863 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupSetNumber()
378 /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()382 … /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()401 /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()419 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGenericCreateStatic()482 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGenericCreateStatic()517 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGetStaticBuffers()953 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvWriteMessageToBuffer()1220 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvReadMessageFromBuffer()1511 /* coverity[misra_c_2012_rule_11_1_violation] */ in prvInitialiseNewStreamBuffer()1516 /* coverity[misra_c_2012_rule_11_1_violation] */ in prvInitialiseNewStreamBuffer()
438 /* coverity[misra_c_2012_rule_8_4_violation] */443 /* coverity[misra_c_2012_rule_8_4_violation] */1038 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvSelectHighestPriorityTask()1277 /* coverity[misra_c_2012_rule_11_3_violation] */ in prvCreateStaticTask()1504 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateRestrictedTask()1631 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1643 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1661 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1669 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()3962 /* coverity[misra_c_2012_rule_11_5_violation] */ in xTaskResumeAll()[all …]
348 /* coverity[misra_c_2012_rule_11_5_violation] */ in xTimerCreate()396 /* coverity[misra_c_2012_rule_11_3_violation] */ in xTimerCreateStatic()669 /* coverity[misra_c_2012_rule_11_3_violation] */ in xTimerGetStaticBuffer()723 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvProcessExpiredTimer()
170 /* coverity[misra_c_2012_rule_8_4_violation] */416 /* coverity[misra_c_2012_rule_11_3_violation] */ in xQueueGenericCreateStatic()470 /* coverity[misra_c_2012_rule_11_3_violation] */ in xQueueGenericGetStaticBuffers()525 /* coverity[misra_c_2012_rule_11_5_violation] */ in xQueueGenericCreate()1845 * mutex to the ready list for its new priority. Coverity thinks that in xQueueSemaphoreTake()1849 /* coverity[overrun] */ in xQueueSemaphoreTake()
115 /* coverity[misra_c_2012_rule_11_5_violation] */ in xCoRoutineCreate()
16 + Switch MISRA compliance checking from PC Lint to Coverity, and update from
124 coverity125 Coverity
1941 /* coverity[misra_c_2012_rule_8_6_violation] */1962 /* coverity[misra_c_2012_rule_8_6_violation] */1980 /* coverity[misra_c_2012_rule_8_6_violation] */
1415 /* coverity[misra_c_2012_rule_8_6_violation] */
