thealberto

Pinned Repositories

oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Language:Shell10.3k 253 2.3k2.2k
fuzzilli
A JavaScript Engine Fuzzer
Language:Swift1.8k 69 199299
codeql-uboot
Language:CodeQL00
klee-taint
KLEE-TAINT - Klee with taint analysis support
Language:C++00
libpng-424
LIBPNG: Portable Network Graphics support, official libpng repository
Language:C00
new
0 1 00
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Language:Shell0 0 00
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Language:C++0 0 00
symcc
SymCC: efficient compiler-based symbolic execution
Language:C++10
SyzScope
SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
Language:Python00

thealberto's Repositories

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