SoftBoundCETS for LLVM-3.8.0

This is a README FILE for SoftBoundCETS pointer-based checking. For more technical details and algorithms, visit SoftBoundCETS website at http://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/

Using SoftBoundCETS with LLVM+CLANG-3.8.0 on a x86-64 machine with Linux OS

Download the github repository from https://github.com/santoshn/softboundcets-3.8.0.git
Build SoftBoundCETS for LLVM+CLANG 3.8.0
1. Go to directory <git_repo>/llvm-38/ and execute the following commands
```
mkdir build; cd build
```
2. Configure and build LLVM, clang and softboundcets with the following commands
```
cmake ..
make -j8
```
Set up your environment to use SoftBoundCETS

For example in bash, it would be
```
export PATH=<git_repo>/llvm-38/build/bin:$PATH
```
Compile the SoftBoundCETS runtime library
```
cd <git_repo>
cd runtime
make
```
Test whether it all worked
1. Compile
```
cd <git_repo>
cd test
clang -fsoftboundcets test.c -o test -L<git_repo>/runtime -lm -lrt -lsoftboundcets_rt
```
2. Run the test program
```
./test
```
  Enter 10; the program executes successfully.
  
  Enter 105; a memory safety violation is triggered.

About

Languages

Language:C++ 56.0%Language:LLVM 24.5%Language:Assembly 6.5%Language:C 6.3%Language:Objective-C 3.0%Language:Objective-C++ 0.9%Language:HTML 0.7%Language:Python 0.7%Language:CMake 0.2%Language:OCaml 0.2%Language:Makefile 0.2%Language:Mirah 0.1%Language:Go 0.1%Language:Shell 0.1%Language:Perl 0.1%Language:M4 0.1%Language:Cuda 0.1%Language:MATLAB 0.0%Language:JavaScript 0.0%Language:Roff 0.0%Language:Batchfile 0.0%Language:Emacs Lisp 0.0%Language:C# 0.0%Language:Vim Script 0.0%Language:CSS 0.0%Language:Fortran 0.0%Language:Mathematica 0.0%Language:PHP 0.0%Language:AppleScript 0.0%Language:Mercury 0.0%Language:Forth 0.0%Language:Perl 6 0.0%Language:M 0.0%