Kihong Heo's repositories

Stargazers:1Issues:0Issues:0

sparrow

The Sparrow Static Analyzer

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Stargazers:0Issues:2Issues:0

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

cayman

Cayman is a Jekyll theme for GitHub Pages

License:CC0-1.0Stargazers:0Issues:0Issues:0

devign

Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks

License:MITStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

infer

A static analyzer for Java, C, C++, and Objective-C

License:MITStargazers:0Issues:0Issues:0

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Language:C++Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

mere-blog-theme

Mere is a minimal and simple blog theme, and nothing more, for use with Jekyll and GitHub Pages.

License:MITStargazers:0Issues:0Issues:0

minimal-mistakes

:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

License:MITStargazers:0Issues:0Issues:0

ocaml.org

The official OCaml website.

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

openssl

TLS/SSL and crypto library

License:Apache-2.0Stargazers:0Issues:0Issues:0

README

:wave: - The documentation for being an Artsy Engineer

License:CC-BY-4.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

woboq_codebrowser

Woboq CodeBrowser

Language:C++Stargazers:0Issues:0Issues:0