Repository navigation

Add CBMC proofs for additional receive-path parsing functions - #1360

Merged

AniruddhaKanhere merged 2 commits into

FreeRTOS:mainfrom

AniruddhaKanhere:add-cbmc-proofs-untrusted-parsers

Aug 20, 2026

Merged

Add CBMC proofs for additional receive-path parsing functions#1360
AniruddhaKanhere merged 2 commits into
FreeRTOS:mainfrom
AniruddhaKanhere:add-cbmc-proofs-untrusted-parsers

Commits on Aug 20, 2026
- Add CBMC memory-safety proofs for additional receive-path parsers
  AniruddhaKanhere
  committed
  9b9e931
- Apply formatting fixes to CBMC proof harnesses
  AniruddhaKanhere
  committed
  fc1031c