Pinned Repositories
aflpin
aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
BigDatalog
chromium
EQGRP_Lost_in_Translation
Decrypted content of odd.tar.xz.gpg, swift.tar.xz.gpg and windows.tar.xz.gpg
jnif
forked from https://gitlab.com/acuarica/jnif.git
js
kafel
A language and library for specifying syscall filtering policies.
myjs
js
ocean390.github.io
blog
pav182
Program Analysis and Verification's assignment 3
ocean390's Repositories
ocean390/jnif
forked from https://gitlab.com/acuarica/jnif.git
ocean390/aflpin
aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
ocean390/BigDatalog
ocean390/chromium
ocean390/EQGRP_Lost_in_Translation
Decrypted content of odd.tar.xz.gpg, swift.tar.xz.gpg and windows.tar.xz.gpg
ocean390/js
ocean390/kafel
A language and library for specifying syscall filtering policies.
ocean390/myjs
js
ocean390/ocean390.github.io
blog
ocean390/pav182
Program Analysis and Verification's assignment 3
ocean390/processor-trace
libipt - an Intel(R) Processor Trace decoder library
ocean390/ref-fuzz
Automatically exported from code.google.com/p/ref-fuzz
ocean390/SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework