kihongheo Goto Github PK

action-test

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!

ansinizer

apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking

app-test

apt-study

autobuilder

bigben

A benchmark for big-code based program analysis

bug-localizer

cayman

Cayman is a Jekyll theme for GitHub Pages

chisel-libtooling

clang-tool

Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)

codebase

devign

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

dup-test

environment

euphony

Euphony: a statistical program model-guided program synthesizer

eval-sheet

github-demo-ntp

grep-demo

icse2020-live

infer

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

kihongheo.github.io

kint

git://g.csail.mit.edu/kint

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.

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.

llvm-trace

mere-blog-theme

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

minimal-mistakes

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

ocaml.org

The official OCaml website.