Pinned Repositories
aco
A C++ Ant Colony Optimization (ACO) algorithm for the traveling salesman problem.
btdht
A python implementation of the Bittorrent DHT (Distributed Hash Table)
crave-examples
cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
dependencies
llvm-dataflow-analysis
Baby Dataflow Analysis
llvm-sanitizer-tutorial
An LLVM sanitizer tutorial
metaSMT
obfuscator
SocketCAN
A mirror of the original SocketCAN SVN repository
nbruns1's Repositories
nbruns1/aco
A C++ Ant Colony Optimization (ACO) algorithm for the traveling salesman problem.
nbruns1/btdht
A python implementation of the Bittorrent DHT (Distributed Hash Table)
nbruns1/crave-examples
nbruns1/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
nbruns1/dependencies
nbruns1/llvm-dataflow-analysis
Baby Dataflow Analysis
nbruns1/llvm-sanitizer-tutorial
An LLVM sanitizer tutorial
nbruns1/metaSMT
nbruns1/obfuscator
nbruns1/SocketCAN
A mirror of the original SocketCAN SVN repository
nbruns1/sparsehash-c11
Experimental C++11 version of sparsehash
nbruns1/sv-benchmarks
Collection of Verification Tasks
nbruns1/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
nbruns1/tritondse
Triton-based DSE library with loading and exploration capabilities (and more!)
nbruns1/Yices2Examples