FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-07 13:44:26 +00:00

Files

AniruddhaKanhere d95624c5d6 Move CBMC proofs to FreeRTOS+ directory (#64 )

* move CBMC proofs to FreeRTOS+ directory

* Failing proofs corrected

* ParseDNSReply proof added back

* removed queue_init.h from -Plus/Test

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

2020-05-05 09:57:18 -07:00

ARPRefreshCacheEntry_harness.c

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

Configurations.json

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

README.md

Move CBMC proofs to FreeRTOS+ directory (#64 )

2020-05-05 09:57:18 -07:00

README.md

The proofs in this directory guarantee together that ARPRefreshCacheEntry is memory safe independent of the configuration value of ipconfigARP_STORES_REMOTE_ADDRESSES.