qingkaishi Goto Github PK

.mybin

Some useful commands

canary

A unification-based alias analysis and related tools

concurrency-bugs

A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).

context-sensitive-reachability

Indexing reachability for context-sensitive data flow analysis.

cpu17-graphs

dikin_walk

Dikin walk polytope sampling

frr

The FRRouting Protocol Suite

grail

Automatically exported from code.google.com/p/grail

jazzer

Coverage-guided, in-process fuzzing for the JVM

klee

KLEE Symbolic Virtual Machine

libace

Stand-alone C++ headers that tie other code together

libdnet

libdnet provides a simplified, portable interface to several low-level networking routines.

libite

Examples of intrusive container templates in C++.

llvm-cbe

resurrected LLVM "C Backend", with improvements

locksmith

My version of locksmith, a static race detector for c

mutation

Tools for mutation analysis - A simple mutation python script.

netlifter

Lifting network implementation to precise format specification

pgfuzz

Policy-Guided Fuzzing for Robotic Vehicles

qingkaishi.github.io

s2e

S2E - A Platform for In-Vivo Multi-Path Software Analysis

sqlmap

Automatic SQL injection and database takeover tool

sqlsmith

A random SQL query generator

svf

Static Value-Flow Analysis in LLVM

swan

Verifying synchronization for atomicity violation fixing

thrille

The Thrille tool described in the FSE2010 paper "Automated Trace Simplification for Effective Debugging of Concurrent Programs"

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

z3

The Z3 Theorem Prover