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…☆108Updated 7 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆119Updated last week
- Playing NES ROMs with Ghidra's PCode Emulator☆102Updated last year
- Visualize binary files☆132Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 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…☆103Updated last year
- A web fuzzer using the httpipe format☆101Updated last year
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- VSCode LLVM Compiler Explorer☆232Updated last year
- A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices☆79Updated 7 months ago
- 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…☆83Updated 3 weeks ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated 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
- A static analysis file format checker.☆263Updated 5 years ago
- An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code☆112Updated last month
- Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…☆65Updated this week
- This repo contains a new way to use bloom filters to do lossless video compression☆248Updated 2 months ago
- Process behaviour anomaly detection using eBPF and unsupervised-learning Autoencoders☆131Updated 3 years ago
- CTADL is a static taint analysis tool☆44Updated 3 months ago
- GCC plugin for C language that tracks references to allocated objects☆28Updated 3 months ago
- Testing platform for covert data exfiltration techniques where sensitive documents are embedded into vector representations and tunneled …☆68Updated last week
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- create local malicious git repo☆51Updated 4 months ago
- A RISC-V emulator built with ClickHouse SQL☆44Updated 2 months ago
- Deptective automatically determines the native dependencies required to run any arbitrary program or command.☆117Updated last week
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆78Updated this week
- The fastest 128-bit and 256-bit hash, passes all tests, and under 140 source lines of code. API library and CLI tool in C++ and NodeJS/Wa…☆126Updated 7 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year