Git Product home page Git Product logo

dtarditi / checkedc-clang Goto Github PK

View Code? Open in Web Editor NEW

This project forked from microsoft/checkedc-clang

0.0 1.0 0.0 274.87 MB

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

License: Other

CMake 0.11% Objective-C 7.17% C++ 69.95% C 19.60% Python 0.59% Objective-C++ 2.13% MATLAB 0.07% Mercury 0.01% Assembly 0.05% LLVM 0.01% Cuda 0.23% Mathematica 0.01% Shell 0.01% M 0.01% Fortran 0.01% Limbo 0.01% Forth 0.01% Perl 0.03% Makefile 0.01% Emacs Lisp 0.01%

checkedc-clang's Introduction

The Checked C clang repo

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses. The Checked C specification is available at the Checked C repo.

The code for the Checked C version of LLVM/clang lives in two repos: the Checked C clang repo and the Checked C LLVM repo. Each repo is licensed under the University of Illinois/NCSA license. The tests for Checked C live in the Checked C repo. These are language conformance tests, so they are placed with the specification, not the compiler. The test code is licensed under the MIT license. See the file LICENSE.TXT in each repo for complete details of licensing.

Status

Summary

We are close to having a complete implementation of the new _Ptr types and the language features for using them. We also have support for parsing and typechecking bounds expressions and bounds declarations. We are working on interoperation support now. To able to use the Checked C extension in existing code bases, we need the interoperation support, so we are implementing it before other features.

Details

We have:

  • Extended LLVM/clang with a feature flag -fcheckedc-extension. This flag is valid only for C programs. It cannot be used with C++, Objective C, or OpenCL.
  • Implemented parsing and typechecking for the new _Ptr, _Array_ptr, and _Checked array types, including implicit conversions described in the Checked C specification. The _Array_ptr and _Checked array types do not have any runtime bounds checking yet.
  • Implemented parsing and typechecking for bounds expression and in-line bounds declarations.
  • Implemented parsing and typechecking for bounds-safe interfaces, including the implicit conversions done at bounds-safe interfaces.

We are now:

  • Implementing function types with bounds information.
  • Implementing type checking of redeclarations of variables and functions with bounds information. When this is finished, interoperation support will be mostly done. Programmers will be able to redeclare existing variables and functions with additional bounds information.

After that, we will begin implementing static semantics checking for programs that use _Ptr pointers and _Array_ptr pointers to constant-sized data. This includes

  • Checking the correctness of bounds declarations for constant-sized data.
  • Checking that casts to _Ptr types from _Array_ptr types are bounds-safe.

Compiler development

Programmers are welcome to ``kick the tires'' on Checked C as it is being implemented. You will have to build your own copy of the compiler for now:

  • Setup and Build describes the organization of the code, how to set up a development machine to build clang, and how to build clang.
  • Testing describes how to test the compiler once you have built it.
  • The Implementation Notes describe the implementation of Checked C in LLVM\clang.

Contributing

We welcome contributions to the Checked C project. To get involved in the project, see Contributing to Checked C. We have a wish list of possible projects there.

For code contributions, we follow the standard Github workflow. See Contributing to Checked C for more detail. You will need to sign a contributor license agreement before contributing code.

Code of conduct

This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact [email protected] with any additional questions or comments.

checkedc-clang's People

Contributors

tkremenek avatar douggregor avatar lattner avatar ddunbar avatar zygoloid avatar akyrtzi avatar rjmccall avatar eefriedman avatar djasper avatar d0k avatar espindola avatar chapuni avatar chandlerc avatar majnemer avatar annazaks avatar jrose-apple avatar xuzhongxing avatar aaronballman avatar dwblaikie avatar rnk avatar echristo avatar nico avatar gribozavr avatar zmodem avatar topperc avatar alexey-bataev avatar atoker avatar r4nt avatar weverything avatar nlewycky avatar

Watchers

David Tarditi avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.