jiezhoucs

Pinned Repositories

bibtex
Bibliography Latex Source
Language:TeX2 1 00
CETS-llvm8
SoftBoundCETS ported from LLVM 3.4 to LLVM 8.0
Language:C++1 1 01
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++1 0 61
checkedc-llvm
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:LLVM3 1 11
checkedc-safe-mm-misc
Miscellaneous stuff for the Checked C Temporal Memory Safety Project
Language:C2 2 01
must-read
Lists of must-read papers (mainly security papers)
28 4 01
Rust-Menagerie
Contains materials about the Rust Programming Language
41

jiezhoucs's Repositories

jiezhoucs/must-read
Lists of must-read papers (mainly security papers)
28 4 01
jiezhoucs/Rust-Menagerie
Contains materials about the Rust Programming Language
41
jiezhoucs/checkedc-llvm
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:LLVM3 1 11
jiezhoucs/bibtex
Bibliography Latex Source
Language:TeX2 1 00
jiezhoucs/checkedc-safe-mm-misc
Miscellaneous stuff for the Checked C Temporal Memory Safety Project
Language:C2 2 01
jiezhoucs/CETS-llvm8
SoftBoundCETS ported from LLVM 3.4 to LLVM 8.0
Language:C++1 1 01
jiezhoucs/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++1 0 61
jiezhoucs/csc481-project
Project of CSC 481.
Language:C++0 2 00
jiezhoucs/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.
Language:C0 01
jiezhoucs/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
jiezhoucs/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.
Language:C++0 0
jiezhoucs/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
Language:LLVM1 0
jiezhoucs/llvm-analysis
This repository contains an LLVM compiler for analyzing programs.
Language:C++1 0
jiezhoucs/LLVM-Lessons
Miscellaneous Lessons Learned during LLVM Development
1 0
jiezhoucs/priv_analysis
An LLVM pass for program privilege analysis
Language:C++1 0
jiezhoucs/PrivAnalysis
path-compression based call graph analysis
Language:C++1 0
jiezhoucs/srust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0
jiezhoucs/test-suite
Mirror of official llvm git repository located at http://llvm.org/git/test-suite. Updated every five minutes.
Language:Logos0 1
jiezhoucs/usage
Source code for Unix usage utility
Language:C0 0