Giters
Alberto (thealberto)

thealberto

Geek Repo

1

followers

0

following

13

stars

Github PK Tool:Github PK Tool

Alberto's repositories

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:1Issues:1Issues:0

codeql-uboot

Language:CodeQLLicense:MITStargazers:0Issues:0Issues:0

klee-taint

KLEE-TAINT - Klee with taint analysis support

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

libpng-424

LIBPNG: Portable Network Graphics support, official libpng repository

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

new

Stargazers:0Issues:1Issues:0

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

SyzScope

SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0