Valerio's repositories
flathunter
A bot to help people with their rental real-estate search. 🏠🤖
ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
damnvulnerabledefi-foundry-v3
damn-vunlerable-defi v3 in foundry
ethtx
Python package with core transaction decoding functions.
ethtx_ce
Ethereum transaction decoder (community version).
libfuzzer-workshop
Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.
sys2syz
Automate generation of syzkaller's grammar for NetBSD
fuzzing
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
k-race
A Linux kernel race condition reproducer
harbian-qa
Bug hunting through fuzzer/*-sanitizer/etc...
crix
Detect missing check bugs in OS kernels
fans
FANS: Fuzzing Android Native System Services
hexslides
An opinionated tool to create amazing presentations
SkCodecFuzzer
Fuzzing harness for testing proprietary image codecs supported by Skia on Android
Street-Party
Street Party is a suite of tools that allows the RTP streams of video conferencing implementations to be viewed and modified.
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
learning-v8
Project for learning V8 internals
vaioco.github.io
personal home page
joern_query_examples
joern queries
joern
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
ArtHook
Library for hooking on ART
joern-traversals
Example queries for joern
DroidPlugin
A plugin framework on android,Run any third-party apk without installation, modification or repackage
FRIEND
Flexible Register/Instruction Extender aNd Documentation