trailofbits / differLinks
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
☆68Updated 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…☆124Updated 2 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☆126Updated this week
- LD_PRELOADable library for exploring the glibc heap☆108Updated 10 months ago
- gradient-based symbolic execution engine implemented from scratch☆36Updated 2 years 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…☆97Updated 2 months ago
- Visualize binary files☆133Updated 4 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆107Updated last year
- A web fuzzer using the httpipe format☆100Updated 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…☆104Updated last year
- Playing NES ROMs with Ghidra's PCode Emulator☆102Updated 2 years ago
- CTADL is a static taint analysis tool☆50Updated 4 months ago
- VSCode LLVM Compiler Explorer☆235Updated 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
- Library sandboxing for the Verona research language and usable in other contexts.☆47Updated 2 years ago
- Testing platform for covert data exfiltration techniques where sensitive documents are embedded into vector representations and tunneled …☆67Updated 5 months ago
- An open-source security suite aiming to combine structural code analysis with AI-powered vulnerability detection. Built for advanced stru…☆90Updated this week
- A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices☆79Updated 11 months ago
- HPC research and demonstrations☆111Updated 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
- Deptective automatically determines the native dependencies required to run any arbitrary program or command.☆126Updated last month
- ☆70Updated 2 years ago
- Blessed sanctum, save us || Sanctum is a small, reviewable, capable, pq-secure and fully privilege seperated VPN daemon. || This is a rea …☆90Updated this week
- Use LLMs to rank anything.☆106Updated last month
- Explore ELF objects through the power of SQL☆265Updated last year
- Compiling C to FlipJump☆96Updated 11 months ago
- GCC plugin for C language that tracks references to allocated objects☆30Updated 8 months ago
- An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code☆133Updated 6 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆63Updated this week
- ☆129Updated 3 years ago