Alberto's repositories
Language:CodeQLMIT000
klee-taint
KLEE-TAINT - Klee with taint analysis support
libpng-424
LIBPNG: Portable Network Graphics support, official libpng repository
Language:CNOASSERTION000
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Language:ShellApache-2.0000
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Language:C++NOASSERTION000
SyzScope
SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
Language:PythonMIT000