Skip to content

@correctcomputation Correct Computation

Change the repository type filter

All

    Repositories list

    4 repositories

    • checkedc-clang

      Public
      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 spat…
      78•15•157•9•Updated Jul 16, 2022Jul 16, 2022

    • checkedc

      Public
      Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. Thi…
      C
      •
      Other
      •189•2•0•1•Updated Jan 8, 2022Jan 8, 2022

    • 3c-temporary-build

      Public
      A Temporary location for a 3c build
      0•0•0•0•Updated Aug 24, 2021Aug 24, 2021

    • checkedc-llvm-test-suite

      Public
      This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementati…
      C
      •
      Apache License 2.0
      •16•0•0•0•Updated Apr 23, 2021Apr 23, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.