История

…
..
grammars	…
scripts	…
tables	…
.gitignore	…
Makefile	…
README.md	…
abstract.tex	…
c_syntax.tex	…
checked_c.sty	…
checkedc.bib	…
checks.tex	…
conclusion.tex	…
evaluation.tex	…
example.tex	…
hyperendnotes.sty	…
introduction.tex	…
listing-label.sty	…
overview.tex	…
propagation.tex	…
propagation_rules.tex	…
related_work.tex	…
tr02.tex	…

README.md

Putting the Checks into Checked C

Checked C Technical Report Number 2

This document is current as of October 2017, and omits a description of null-terminated pointers.

Building

To build this document fully, you'll need to install R and put Rscript on your path, as well as LaTeX.