Beast code in Giters

Jie Zhou's repositories

must-read

Lists of must-read papers (mainly security papers)

Rust-Menagerie

Contains materials about the Rust Programming Language

400

This repo contains a version of the LLVM 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.

Language:LLVMNOASSERTION3 1 1

bibtex

Bibliography Latex Source

Language:TeX200

checkedc-safe-mm-misc

Miscellaneous stuff for the Checked C Temporal Memory Safety Project

Language:C200

CETS-llvm8

SoftBoundCETS ported from LLVM 3.4 to LLVM 8.0

Language:C++100

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.

Language:C++NOASSERTION106

checkedc

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. This repo has a wiki for Checked C, sample code, the specification, and test code.

NOASSERTION000

csc481-project

Project of CSC 481.

Language:C++000

EncNVM

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

000