Pinned Repositories
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
fuzzilli
A JavaScript Engine Fuzzer
codeql-uboot
klee-taint
KLEE-TAINT - Klee with taint analysis support
libpng-424
LIBPNG: Portable Network Graphics support, official libpng repository
new
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
symcc
SymCC: efficient compiler-based symbolic execution
SyzScope
SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
thealberto's Repositories
thealberto/symcc
SymCC: efficient compiler-based symbolic execution
thealberto/codeql-uboot
thealberto/klee-taint
KLEE-TAINT - Klee with taint analysis support
thealberto/libpng-424
LIBPNG: Portable Network Graphics support, official libpng repository
thealberto/new
thealberto/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
thealberto/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
thealberto/SyzScope
SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.