Valerio's repositories

ArtHook

Library for hooking on ART

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

crix

Detect missing check bugs in OS kernels

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

damnvulnerabledefi-foundry-v3

damn-vunlerable-defi v3 in foundry

Language:SolidityStargazers:0Issues:0Issues:0

difuze

Fuzzer for Linux Kernel Drivers

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

DroidPlugin

A plugin framework on android,Run any third-party apk without installation, modification or repackage

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

ethtx

Python package with core transaction decoding functions.

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

fans

FANS: Fuzzing Android Native System Services

Language:C++Stargazers:0Issues:0Issues:0

vaioco.github.io

personal home page

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

ethtx_ce

Ethereum transaction decoder (community version).

License:Apache-2.0Stargazers:0Issues:0Issues:0

flathunter

A bot to help people with their rental real-estate search. 🏠🤖

License:AGPL-3.0Stargazers:0Issues:0Issues:0

FRIEND

Flexible Register/Instruction Extender aNd Documentation

Language:C++Stargazers:0Issues:0Issues:0

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

harbian-qa

Bug hunting through fuzzer/*-sanitizer/etc...

License:GPL-3.0Stargazers:0Issues:0Issues:0

hexslides

An opinionated tool to create amazing presentations

License:MITStargazers:0Issues:0Issues:0

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

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

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

joern-traversals

Example queries for joern

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

k-race

A Linux kernel race condition reproducer

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

learning-v8

Project for learning V8 internals

Language:C++Stargazers:0Issues:1Issues:0

libfuzzer-workshop

Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

SkCodecFuzzer

Fuzzing harness for testing proprietary image codecs supported by Skia on Android

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

Street-Party

Street Party is a suite of tools that allows the RTP streams of video conferencing implementations to be viewed and modified.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

sys2syz

Automate generation of syzkaller's grammar for NetBSD

License:MITStargazers:0Issues:0Issues:0

SyzVegas

Syzkaller with MAB scheduling and seed selection

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