| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Makefile.json | D | 18-Mar-2025 | 1.7 KiB | 54 | 25 | |
| README.md | D | 18-Mar-2025 | 354 | 11 | 8 | |
| TCPReturnPacket_harness.c | D | 18-Mar-2025 | 5 KiB | 128 | 68 |
README.md
1This is the memory safety proof for prvTCPReturnPacket. 2 3This proof is a work-in-progress. Proof assumptions are described in 4the harness. The proof also assumes the following functions are 5memory safe and have no side effects relevant to the memory safety of 6this function: 7 8* usGenerateChecksum 9* usGenerateProtocolChecksum 10* xNetworkInterfaceOutput 11