tovain10071991 Goto Github PK

analysis-pt

dump pt info from pt-module and analysis

analysis-with-taint

analysis binary with taint propogation using pin

analysis-with-triton

aws-python

bincfi

Stony Brook University CFI library

book

学习笔记

clairvoyance

Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.

cotpasses

Examples for the Code Optimization and Transformation Course

dagger

A decompilation framework based on LLVM

directxshadercompiler

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

dis_analysis_c

dis and analysis with libelf, libudis and ptrace

dis_analysis_cpp

docker-image-ubuntu-llvm

docker-image-ubuntu-update

dump-pt

dyninst_test

fracture

an architecture-independent decompiler to LLVM IR

hack_python

<Python源码剖析>的实践

hangzhou_house_knowledge

2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.

klee

KLEE Symbolic Virtual Machine

klee-simplified

klee-uclibc

klee-uclibc

klee-with-fracture

llgo

Mirror of official llgo git repository located at http://llvm.org/git/llgo. Updated every five minutes. http://llvm.org/svn/llvm-project/llgo/trunk/README.TXT

llvm-pred

predicate scientific program performance model using llvm

mcsema

x86 to machine code translation framework

minisat

A minimalistic and high-performance SAT solver

nginx-1.4.0

For the analysis of CVE-2013-2028

note

note

patharmor

PathArmor context-sensitive CFI implementation