Alternatives and similar repositories for differ

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

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• GaloisInc / grease
  CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
  ☆108Updated this week
• M3rcuryLake / Nyxelf
  Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…
  ☆104Updated 3 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 2 months ago
• codesoap / pfuzz
  a web fuzzer using the httpipe format
  ☆101Updated last year
• 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…
  ☆66Updated last week
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• jwilk / git-landmine
  create local malicious git repo
  ☆50Updated last month
• 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…
  ☆102Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆131Updated last month
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 11 months ago
• Thraetaona / Blitzping
  A very high-speed, configurable, and portable packet-crafting utility optimized for embedded devices
  ☆75Updated 3 months ago
• microsoft / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• shivasurya / code-pathfinder
  Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…
  ☆59Updated 2 weeks ago
• nevesnunes / ghidra-plays-mario
  Playing NES ROMs with Ghidra's PCode Emulator
  ☆103Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆109Updated this week
• R9295 / autarkie
  Autarkie - Instant Grammar Fuzzing Using Rust Macros
  ☆52Updated this week
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆58Updated last week
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆56Updated 4 years ago
• 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
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆64Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 9 months ago
• kokx / duco-analysis
  ☆22Updated 4 months ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆39Updated 8 months ago
• AkechiShiro / slides-talks
  My own cybersecurity research talks/slides
  ☆37Updated last year
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• bieganski / asstrace
  A stateful strace-like - Linux syscall tampering-first strace-like tool.
  ☆16Updated this week
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆30Updated 2 months ago