| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| ARPGenerateRequestPacket_harness.c | D | 18-Mar-2025 | 1 KiB | 33 | 17 | |
| Makefile.json | D | 18-Mar-2025 | 255 | 17 | 16 | |
| README.md | D | 18-Mar-2025 | 204 | 3 | 3 |
README.md
1Given that the pointer target of xNetworkDescriptor.pucEthernetBuffer is allocated 2to the size claimed in xNetworkDescriptor.xDataLength, 3this harness proves the memory safety of ARPGenerateRequestPacket.