trailofbits / differLinks
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
Sorting:
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆105Updated 4 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution☆111Updated this week
- A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices☆76Updated 4 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 2 months ago
- A web fuzzer using the httpipe format☆101Updated last year
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆58Updated 3 weeks ago
- Visualize binary files☆131Updated last month
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆74Updated last week
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years 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…☆103Updated last year
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- create local malicious git repo☆50Updated 2 months ago
- Sequential Logic☆112Updated this week
- abuse ImageMagick (or GraphicsMagick) to create arbitrary files☆53Updated 2 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
- A probabilistic approximate DNF counter☆37Updated last month
- Playing NES ROMs with Ghidra's PCode Emulator☆103Updated last year
- GCC plugin for C language that tracks references to allocated objects☆27Updated 3 weeks ago
- A static analysis file format checker.☆239Updated 4 years ago
- ☆228Updated this week
- Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…☆60Updated this week
- My investigation into mission generation in the Stealth Fighter games by Microprose.☆82Updated 4 months ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆65Updated this week