转载

Checked C：微软开源的更安全的 C 语言版本

Checked C

Checked C is an extension to C that adds static and dynamic checking to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. This repo contains the specification for the extension, test code, and samples. For the latest version of the specification and the draft of the next version, see the Checked C releases page .

We are creating a modified version of LLVM/clang that supports Checked C. The code for the modified version of LLVM/clang lives in theChecked C clang repo and theChecked C LLVM repo.

Getting involved

SeeContributing for how to get involved with Checked C and contribute to the project.

Licensing

The software in this repository is covered by the MIT license. See the file LICENSE.TXT for the license. The Checked C specification is made available by Microsoft under the OpenWeb Foundation Final Specification Agreement, version 1.0 . Contributions of code to the Checked LLVM/clang repos are subject to the CLANG/LLVM licensing terms .

原文 https://github.com/Microsoft/checkedc

正文到此结束