Pinned Repositories
checkedc
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
checkedc-llvm-project
This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
azure-sphere-samples
Samples for Azure Sphere
checkedc
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
checkedc-1
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors.
checkedc-clang
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.
checkedc-llvm-test-suite
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 implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
github-csv-tools
Import and export GitHub issues via CSV
checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
Detours
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
dtarditi's Repositories
dtarditi/azure-sphere-samples
Samples for Azure Sphere
dtarditi/checkedc
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
dtarditi/checkedc-1
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors.
dtarditi/checkedc-clang
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.
dtarditi/checkedc-llvm-test-suite
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 implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
dtarditi/github-csv-tools
Import and export GitHub issues via CSV