trailofbits / differ
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
☆67Updated last year
Alternatives and similar repositories for differ:
Users that are interested in differ are comparing it to the libraries listed below
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆104Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- a web fuzzer using the httpipe format☆100Updated 11 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated 10 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆54Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution☆89Updated this week
- LD_PRELOADable library for exploring the glibc heap☆103Updated 2 weeks ago
- Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…☆55Updated this week
- Visualize binary files☆129Updated 2 months ago
- Simple demo illustrating remanence of data in RAM (see Cold boot attack) using a Raspberry Pi. Loads many images of the Mona Lisa into R…☆102Updated last year
- A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices☆73Updated 2 months ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆118Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆62Updated last month
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆64Updated last year
- Scorpi - A Modern Hypervisor (for macOS)☆68Updated last week
- abuse ImageMagick (or GraphicsMagick) to create arbitrary files☆53Updated last month
- Simple inbound/outbound packet sniffer☆31Updated 5 months ago
- OnionShare; no Flask, just redbean.☆42Updated 2 years ago
- Playing NES ROMs with Ghidra's PCode Emulator☆101Updated last year
- create local malicious git repo☆50Updated last month
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆49Updated last month
- Scale to zero Seafowl hosting with Cloud Run☆38Updated last year
- A GPU Accelerated Binary Vector Store☆47Updated last month
- GCC plugin for C language that tracks references to allocated objects☆26Updated last month
- List files in categories (and columns) - from Coherent UNIX☆41Updated 4 years ago
- Compiling C to FlipJump☆87Updated 2 months ago
- Dracan is a lightweight middleware for Kubernetes that enhances filtering and validation capabilities. It ensures that only valid request…☆47Updated 4 months ago
- Template for sending a GitHub webhook over a zero trust, private network based on https://github.com/openziti/ziti☆58Updated 2 years ago