search

correctcomputation / checkedc-clang

This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
14 stars 5 forks source link

Document 3c features #214

Open mgrang opened 4 years ago

mgrang commented 4 years ago

We must update the doc https://github.com/microsoft/checkedc-clang/blob/master/clang/docs/checkedc/CheckedCConvert.md with new features, bugs, limitations, etc.

kyleheadley commented 3 years ago

This file is no longer used, but for now the issue can stand as a general documentation request.