nigel's Stars
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
trailofbits/pasta
Peter's Amazing Syntax Tree Analyzer
lifting-bits/rellic
Rellic produces goto-free C output from LLVM bitcode
thepudds/fzgen
Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature types.
eth-sri/lmql
A language for constraint-guided and efficient LLM programming.
net4people/bbs
Forum for discussing Internet censorship circumvention
ginuerzh/gost
GO Simple Tunnel - a simple tunnel written in golang
cbeuw/Cloak
A censorship circumvention tool to evade detection by authoritarian state adversaries
ModelInference/texada
Efficient techniques for mining LTL formulae over linear input traces
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
IntelLabs/c3-simulator
C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data encryption, stack unwinding support for C++ exception handling, debugger enabling, and scripting for running tests.
google/fully-homomorphic-encryption
An FHE compiler for C++
cs-au-dk/jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
uclid-org/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
draperlaboratory/cbat_tools
Program analysis tools developed at Draper on the CBAT project.
ZipCPU/zipcpu
A small, light weight, RISC CPU soft core
lowRISC/opentitan
OpenTitan: Open source silicon root of trust
chipsalliance/riscv-dv
Random instruction generator for RISC-V processor verification
YosysHQ/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
YosysHQ/oss-cad-suite-build
Multi-platform nightly builds of open source digital design and verification tools
Live-CTF/LiveCTF-DEFCON30
binsync/binsync
A reversing plugin for cross-decompiler collaboration, built on git.
pietroborrello/ghidra-atom-microcode
Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode
Nautilus-Institute/quals-2022
Source code for the 2022 DEF CON Qualifiers.
angr/angrop
rohanpadhye/FuzzFactory
Domain-Specific Fuzzing with Waypoints
AsahiLinux/docs
Hardware and software docs / wiki
alexbakker/log4shell-tools
Tool that runs a test to check whether one of your applications is affected by the recent vulnerabilities in log4j: CVE-2021-44228 and CVE-2021-45046
fengjixuchui/FuzzingPaper
Recent Fuzzing Paper
Battelle/afl-unicorn
afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.