trailofbits / differ
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
☆67Updated 11 months ago
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 3 weeks ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- a web fuzzer using the httpipe format☆100Updated 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 2 weeks ago
- Visualize binary files☆123Updated last month
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated 8 months ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆118Updated last year
- 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☆72Updated last month
- create local malicious git repo☆49Updated 3 weeks ago
- TideCloak lets your users hold their own digital authority—no central control, no blind trust.☆62Updated 2 weeks ago
- Playing NES ROMs with Ghidra's PCode Emulator☆101Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A static analysis file format checker.☆239Updated 4 years ago
- My own cybersecurity research talks/slides