SecLab

difuze

Fuzzer for Linux Kernel Drivers

dr_checker

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

packware

Effects of packers on machine-learning-based malware classifiers that use only static analysis

pretender

Automatic modeling of hardware to enable the rehosting of embedded firmware

monolithic-firmware-collection

Repository for monolithic firmware blobs

goldphish

Arbitrage bot for the Ethereum blockchain

popkorn-artifact

sailfish

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

heapster

Identify and test the security of dynamic memory allocators in monolithic firmware images

diane

DiAne is a smart fuzzer for IoT devices

greed

A symbolic execution engine for EVM smart contract binaries

actor

Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

symbexcel

nft-security-study

Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"

DeepCASE-Dataset

shimware

columbus

Source code for Columbus (ICSE 2023 paper)

DeepCASE

jackal

Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

py-evm

A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)

cs177-ctfd-oracle-challenges

Plugin for CTFd to manage oracle challenges

heapster-dataset-metadata

Collection of metadata for the firmware images used in Heapster

slither-sailfish

Modified Slither for Sailfish

VenoMave

crush

cs177-ctfd

CTFs as you need them

erigon

Ethereum implementation on the efficiency frontier

harden-HBFA

HBFA fuzzer fork for the HARDEN project

klee

KLEE Symbolic Execution Engine

symbexcel-server