Searched full:coverity (Results 1 – 16 of 16) sorted by relevance
3 run [Synopsys Coverity](https://www.synopsys.com/software-integrity/security-testing/static-analysi…7 Coverity version 2023.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:40 cmake -B build -S examples/coverity45 cmake -B build -S examples/coverity -DFREERTOS_SMP_EXAMPLE=150 cov-build --emit-complementary-info --dir cov-out make coverity52 4. Go to the Coverity output directory (`cov-out`) and begin Coverity static[all …]
3 project(coverity) project9 # Coverity incorrectly infers the type of pdTRUE and pdFALSE as boolean because12 # false positive warnings. This workaround will not be needed after Coverity
4 "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)91 stepName: Coverity Build for SMP FreeRTOS110 stepName: Upload FreeRTOS SMP Coverity Report for Scan[all …]
11 …coverity](./coverity) directory contains a project to run [Synopsys Coverity](https://www.synopsys…
5 Coverity static analysis version 2023.6.1. Since the FreeRTOS kernel is11 Additionally, [MISRA configuration file](examples/coverity/coverity_misra.config)14 ### Suppressed with Coverity Comments
108 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupCreateStatic()153 /* coverity[misra_c_2012_rule_11_5_violation] */ in xEventGroupCreate()534 /* coverity[misra_c_2012_directive_4_7_violation] */ in xEventGroupGetBitsFromISR()716 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupGetStaticBuffer()730 /* coverity[misra_c_2012_rule_11_3_violation] */ in xEventGroupGetStaticBuffer()752 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupSetBitsCallback()768 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupClearBitsCallback()841 /* coverity[misra_c_2012_rule_11_5_violation] */ in uxEventGroupGetNumber()872 /* coverity[misra_c_2012_rule_11_5_violation] */ in vEventGroupSetNumber()
396 /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()400 … /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()419 /* coverity[misra_c_2012_rule_11_5_violation] */ in xStreamBufferGenericCreate()437 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGenericCreateStatic()506 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGenericCreateStatic()541 /* coverity[misra_c_2012_rule_11_3_violation] */ in xStreamBufferGetStaticBuffers()681 /* coverity[misra_c_2012_directive_4_7_violation] */ in xStreamBufferResetFromISR()980 /* coverity[misra_c_2012_directive_4_7_violation] */ in xStreamBufferSendFromISR()1045 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvWriteMessageToBuffer()1256 /* coverity[misra_c_2012_directive_4_7_violation] */ in xStreamBufferReceiveFromISR()[all …]
445 /* coverity[misra_c_2012_rule_8_4_violation] */450 /* coverity[misra_c_2012_rule_8_4_violation] */1046 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvSelectHighestPriorityTask()1285 /* coverity[misra_c_2012_rule_11_3_violation] */ in prvCreateStaticTask()1512 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateRestrictedTask()1639 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1651 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1669 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()1677 /* coverity[misra_c_2012_rule_11_5_violation] */ in prvCreateTask()2671 /* coverity[misra_c_2012_directive_4_7_violation] */ in uxTaskPriorityGetFromISR()[all …]
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()1195 /* coverity[misra_c_2012_directive_4_7_violation] */ in xQueueGenericSendFromISR()1373 /* coverity[misra_c_2012_directive_4_7_violation] */ in xQueueGiveFromISR()1851 * mutex to the ready list for its new priority. Coverity thinks that in xQueueSemaphoreTake()1855 /* coverity[overrun] */ in xQueueSemaphoreTake()2066 /* coverity[misra_c_2012_directive_4_7_violation] */ in xQueueReceiveFromISR()2167 /* coverity[misra_c_2012_directive_4_7_violation] */ in xQueuePeekFromISR()
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()
117 /* coverity[misra_c_2012_rule_11_5_violation] */ in xCoRoutineCreate()
93 + Switch MISRA compliance checking from PC Lint to Coverity, and update from
130 coverity131 Coverity
1942 /* coverity[misra_c_2012_rule_8_6_violation] */1963 /* coverity[misra_c_2012_rule_8_6_violation] */1981 /* coverity[misra_c_2012_rule_8_6_violation] */
1415 /* coverity[misra_c_2012_rule_8_6_violation] */
