Skip to content

RuiyuZhu/obliv-c

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Obliv-C Compiler (oblivcc)

Step 1) Installation of dependencies (on Ubuntu systems) sudo apt-get install ocaml libgcrypt20-dev ocaml-findlib.

Step 2) Git-clone this repository, and do a ./configure && make RELEASE=1.

Step 3) Start using it! The compiler is a GCC wrapper script found in bin/oblivcc. Example codes are in test/oblivc. A language tutorial is found here.

Most of this code was forked from the project CIL (C Intermediate Language). You can diff with the master branch to see which part was added on later.

Finally, if you have any questions, either open an issue here on GitHub or just send me an email at samee@virginia.edu.

About

No description, website, or topics provided.

Resources

License

Unknown, Unknown licenses found

Licenses found

Unknown
LICENSE-cil
Unknown
LICENSE-oblivcc

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 52.1%
  • C 43.1%
  • Perl 2.9%
  • Shell 0.9%
  • Makefile 0.7%
  • Standard ML 0.3%