Startseite Erkunden Hilfe
Anmelden
kindring
/
libpeer
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: f64717bfad
Branches Tags
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
proofs
/
httpParserOnMessageCompleteCallback
kindring 67da75dea5 初次提交 vor 1 Monat
..
Makefile 67da75dea5 初次提交 vor 1 Monat
README.md 67da75dea5 初次提交 vor 1 Monat
cbmc-proof.txt 67da75dea5 初次提交 vor 1 Monat
cbmc-viewer.json 67da75dea5 初次提交 vor 1 Monat
httpParserOnMessageCompleteCallback_harness.c 67da75dea5 初次提交 vor 1 Monat

README.md

httpParserOnMessageCompleteCallback proof

This directory contains a memory safety proof for httpParserOnMessageCompleteCallback.

To run the proof.

  • Add cbmc, goto-cc, goto-instrument, goto-analyzer, and cbmc-viewer to your path.
  • Run "make".
  • Open html/index.html in a web browser.