Kihong Heo's repositories
Language:Shell000
Language:C000
Language:C000
Language:C000
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
Language:CApache-2.0000
Language:C++MIT000
Language:Shell000
000
Language:Java000
vulnDBGen
Vulnerability database generator
Language:Python000
euphony
Euphony: a statistical program model-guided program synthesizer
Language:Slash000
Language:C000
petablox
Main distribution of Petablox
Language:JavaNOASSERTION000
Language:Python000
bigben
A benchmark for big-code based program analysis
Language:Python000
apisan
APISan: Sanitizing API Usages through Semantic Cross-Checking
Language:C++000
clang-tool
Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)
Language:C++MIT000
PP2015f_TA
Base page for PP's TA page
000
LLVM-Printf-Pass
For a taste of the most widely used compilers, we implemented a simple pass inside LLVM to output on a file everything that is printfÂed on the stdout.
Language:C++000
kint
git://g.csail.mit.edu/kint
Language:C++GPL-3.0000