Searched +full:- +full:- +full:dir (Results 1 – 7 of 7) sorted by relevance
1 # MISRA Compliance for FreeRTOS-Kernel2 FreeRTOS-Kernel is MISRA C:2012 compliant. This directory contains a project to3 … [Synopsys Coverity](https://www.synopsys.com/software-integrity/security-testing/static-analysis-…20 …run on any platform mentioned [here](https://sig-docs.synopsys.com/polaris/topics/c_coverity-compa…23 1. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`).25 - See download and installation instructions [here](https://gcc.gnu.org/install/).27 - `git clone https://github.com/FreeRTOS/FreeRTOS-Kernel.git ./FreeRTOS-Kernel`30 Go to the root directory of the FreeRTOS-Kernel repo and run the following34 cov-configure --force --compiler cc --comptype gcc40 cmake -B build -S examples/coverity[all …]
3 FreeRTOS-Kernel conforms to [MISRA C:2012](https://www.misra.org.uk/misra-c)6 designed for small-embedded devices, it needs to have a very small memory18 grep 'MISRA Ref 8.4.1' . -rI21 #### Dir 4.722 MISRA C:2012 Dir 4.7: If a function returns error information, then that error26 - `taskENTER_CRITICAL_FROM_ISR` returns the interrupt mask and not any error35 - pxCurrentTCB(s) is defined with external linkage but it is only referenced41 - xQueueRegistry is defined with external linkage because it is accessed by the51 - This rule prohibits an identifier with external linkage to have multiple60 - The pointer to function is casted into void to avoid unused parameter[all …]
5 * SPDX-License-Identifier: MIT70 if( ( pxStreamBuffer )->xTaskWaitingToSend != NULL ) \72 ( void ) xTaskNotifyIndexed( ( pxStreamBuffer )->xTaskWaitingToSend, \73 ( pxStreamBuffer )->uxNotificationIndex, \76 ( pxStreamBuffer )->xTaskWaitingToSend = NULL; \83 /* If user has provided a per-instance receive complete callback, then89 if( ( pxStreamBuffer )->pxReceiveCompletedCallback != NULL ) \91 ( pxStreamBuffer )->pxReceiveCompletedCallback( ( pxStreamBuffer ), pdFALSE, NULL ); \110 if( ( pxStreamBuffer )->xTaskWaitingToSend != NULL ) \112 ( void ) xTaskNotifyIndexedFromISR( ( pxStreamBuffer )->xTaskWaitingToSend, \[all …]
5 * SPDX-License-Identifier: MIT52 #define queueUNLOCKED ( ( int8_t ) -1 )101 * rationale: https://www.FreeRTOS.org/Embedded-RTOS-Queues.html142 /*-----------------------------------------------------------*/169 /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-84 */246 * disinherit the priority - but only down to the highest priority of any252 /*-----------------------------------------------------------*/261 if( ( pxQueue )->cRxLock == queueUNLOCKED ) \263 ( pxQueue )->cRxLock = queueLOCKED_UNMODIFIED; \265 if( ( pxQueue )->cTxLock == queueUNLOCKED ) \[all …]
5 * SPDX-License-Identifier: MIT68 /*-----------------------------------------------------------*/82 /*-----------------------------------------------------------*/105 /* The user has provided a statically allocated event group - use it. */ in xEventGroupCreateStatic()107 … /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-113 */ in xEventGroupCreateStatic()113 pxEventBits->uxEventBits = 0; in xEventGroupCreateStatic()114 vListInitialise( &( pxEventBits->xTasksWaitingForBits ) ); in xEventGroupCreateStatic()121 pxEventBits->ucStaticallyAllocated = pdTRUE; in xEventGroupCreateStatic()130 * pxEventGroupBuffer pointing to a pre-allocated (compile time in xEventGroupCreateStatic()141 /*-----------------------------------------------------------*/[all …]
5 * SPDX-License-Identifier: MIT44 /* The default definitions are only available for non-MPU ports. The89 if( pxCurrentTCB->uxPriority < ( pxTCB )->uxPriority ) \102 …#define taskYIELD_TASK_CORE_IF_USING_PREEMPTION( pxTCB ) prvYieldCore( ( pxTCB )->xTaskRunState…175 /*-----------------------------------------------------------*/186 --uxTopPriority; \200 /*-----------------------------------------------------------*/217 /*-----------------------------------------------------------*/229 /*-----------------------------------------------------------*/244 /*-----------------------------------------------------------*/[all …]
10 bashPass: \033[32;1mPASSED -11 bashInfo: \033[33;1mINFO -12 bashFail: \033[31;1mFAILED -16 Coverity-Scan:17 if: ( github.repository == 'FreeRTOS/FreeRTOS-Kernel' )19 runs-on: ubuntu-latest21 - name: Checkout the Repository24 - env:29 echo -e "::group::${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"31 sudo apt-get -y update[all …]
