Alternatives and similar repositories for differ

Users that are interested in differ are comparing it to the libraries listed below

• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆108Updated 8 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 6 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆122Updated last week
• 8dcc / bin-graph
  Visualize binary files
  ☆133Updated 3 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• codesoap / pfuzz
  A web fuzzer using the httpipe format
  ☆101Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• nevesnunes / ghidra-plays-mario
  Playing NES ROMs with Ghidra's PCode Emulator
  ☆102Updated 2 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• anfractuosity / ramrecovery
  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
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated 2 years ago
• sidkshatriya / rr.soft
  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…
  ☆89Updated this week
• Thraetaona / Blitzping
  A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices
  ☆79Updated 8 months ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated last year
• evilsocket / ebpf-process-anomaly-detection
  Process behaviour anomaly detection using eBPF and unsupervised-learning Autoencoders
  ☆133Updated 3 years ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• ronomon / pure
  A static analysis file format checker.
  ☆266Updated 5 years ago
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated 2 years ago
• nguyenchiemminhvu / LinuxIPC
  Examples of Linux Inter-Processing Communication
  ☆37Updated 8 months ago
• PurpleVsGreen / beacown
  ☆128Updated 2 years ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆76Updated 4 months ago
• R9295 / autarkie
  Autarkie - Instant Grammar Fuzzing Using Rust Macros
  ☆80Updated 3 weeks ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆260Updated last year
• jwilk / git-landmine
  create local malicious git repo
  ☆51Updated 6 months ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆47Updated last month
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆47Updated 3 months ago
• jaschadub / VectorSmuggle
  Testing platform for covert data exfiltration techniques where sensitive documents are embedded into vector representations and tunneled …
  ☆69Updated last month
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆231Updated last year
• hex0punk / wally
  Function callpath mapping analysis tool for Go
  ☆34Updated 6 months ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 8 months ago