tizianocolagrossi's repositories
afl-grafana-docker
config files for create a docker container for remote monitoring and metrics visualization of afl fuzzers over grafana
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
bio_sys_ear_recognition
project for Biometric Systems - Academic Year 2021/2022
BOOTSTRA.386
A vintage 1980s DOS inspired Twitter Bootstrap theme
caronte
A tool to analyze the network flow during attack/defence Capture the Flag competitions
crucible
Crucible is a library for symbolic simulation of imperative programs
ctf-ad-tools
fork of fuomag9's CTF Infra AD
DDFuzz
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
ear_recognition_21-22
Project for Biometric System 2021/2022
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
fuzzing-seed-selection
"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
Fuzzing101
An step by step fuzzing tutorial. A GitHub Security Lab initiative
jigsaw
JIGSAW is a fuzzing-based path constraint solver.
klee
KLEE Symbolic Execution Engine
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
PcapPlusPlus
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, WinPcap, DPDK and PF_RING.
spintronics-simulator
A free, browser-based simulator of spintronic circuits.
symcc
SymCC: efficient compiler-based symbolic execution