shouc

v8_opcodes

V8 bytecode/opcodes info for NodeJS v6.0.0 to v17.4.0, useful for disassembling ByteNode

digfuzz

Implementation of DigFuzz (NDSS19 "Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing")

corbfuzz

Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

geth-dumper

dump statedb to evmc queryable format

porkfuzz

Code for FSE '21 SRC paper "PorkFuzz: Testing Stateful Software-Defined Network Applications with Property Graphs"

raydbg

Static and dynamic analysis for Ray programs, using LLM.

AFLplusplus

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!

blf

cs180-project

:neckbeard: Not that physical physics engine for cloth (UCSB CS180 Final Project)

distributed_fuzzing

ducks-contract

ethgo

Ethereum Golang API

fastrlp

Fast RLP encoder/decoder

flask-google-recaptcha

Fully Working Flask ReCaptcha ;) :snake:

hek

hotspot-manufacturers

Hub for Helium hotspot manfuacturer applications and the Manufacturer Oversight Committee (MOC)

ityfuzz-fv

Blazingly Fast Hybrid Fuzzer for Smart Contracts

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

magma

Platform for building access networks and modular network services

mina-test

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

miner

Miner for the helium blockchain

node

Mysterium Network Node - official implementation of distributed VPN network (dVPN) protocol

onboarding-server

packer

research

Research at RDI

shiny-noodle

All output extracted from FuzzFactory artifact

slither-action

symcc-selective

SymCC: efficient compiler-based symbolic execution

ToRA

ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools.