Home
last modified time | relevance | path

Searched refs:pointer (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/
DMISRA.md67 - MISRA C-2012 Rule 11.1 Converting from a void pointer to a function pointer.
72 The caller of the API is responsible for providing correct function pointer to the
95 - MISRA c-2012 Rule 11.4 Warns about conversion between a pointer and an integer.
97 valid socket (a valid non-NULL pointer) is returned; or
100 to a pointer is used to convey the error to various functions. If the
101 pointer is equal to `FREERTOS_INVALID_SOCKET`, then it is not
108 It has been programatically checked that the pointer is well aligned
113 - MISRA Rule 11.4 warns about casting pointer to an integer and vice versa.
115 integer which is then used to see whether the pointer is well
116 aligned or not. It is not used to access any pointer values. Thus, this
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
DCMakeLists.txt30 --pointer-check
35 --pointer-overflow-check
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv6_Private.h97 #define ipPOINTER_CAST( TYPE, pointer ) ( ( TYPE ) ( pointer ) ) argument
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/
DREADME.md1 Given that the pointer target of xNetworkDescriptor.pucEthernetBuffer is allocated
/FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/
Dcoverity_misra.config59 reason: "Conversion from pointer to void into pointer to object
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/
Dreadme.md112 __IO uint32_t DMACTDTPR; // ETH_DMACTXDTPR Channel TX tail pointer
113 __IO uint32_t DMACRDTPR; // ETH_DMACRXDTPR Channel RX tail pointer
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dtcp_dump_packets.md14 ● Once the network is up, call `dump_packet_init()` with a file name and a pointer to