A benchmark dataset of Solidity smart contracts

Assorted Jupyter notebooks by Daniel Estévez

BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation

A CCSDS telemetry packet decoding library based on the XTCE packet format description standard.

scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600

aider is AI pair programming in your terminal

A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour

A Systematic Literature Review on Large Language Models for Automated Program Repair

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! 🦥

LLMDFA: Analyzing Dataflow in Code with Large Language Models

Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)

Project page for "The Fuzzing Book"

SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection

GNU Radio decoder for Amateur satellites

Open source vulnerability DB and triage service.

Security Vulnerabilities in C/C++ Programs

benchmark setup for Pulse

data-set for effFix evaluation

ExtractFix security vulnerabilities with instrumentation for repair tools

🌸 A command-line fuzzy finder

Free monospaced font with programming ligatures

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

fuzzbench and aflchurn

20 benchmark programs