Alternatives and similar repositories for RE-basics-W22

Users that are interested in RE-basics-W22 are comparing it to the libraries listed below

• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• trailofbits / magnifier
  ☆58Updated 2 years ago
• BehroozAbbassi / sdkffi
  A code parser for C-Style header files that lets you to parse function's prototypes and data types used in their parameters.
  ☆94Updated 3 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆28Updated 4 years ago
• softsec-unh / MBA-Solver
  ☆43Updated 4 years ago
• HackOvert / awesome-bugs
  A collection of software bug types and articles showcasing the hunt for and exploitation of them.
  ☆20Updated 4 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆66Updated 6 years ago
• therealdreg / symseghelper
  Helper scripts for windows debugging with symbols for Bochs and IDA Pro (PDB files). Very handy for user mode <--> kernel mode
  ☆19Updated 2 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆54Updated 3 weeks ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• williballenthin / siglib
  function identification signatures
  ☆12Updated 4 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆33Updated last month
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated this week
• rbran / sleigh3rust
  A demontration of disassemblers generated by sleigh2rust
  ☆13Updated 9 months ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆36Updated last week
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆50Updated 3 months ago
• ispras / qemu
  ☆51Updated 3 years ago
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆71Updated last year
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• jeffli678 / writeups
  writeups for CTFs and other stuff
  ☆23Updated 4 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 2 weeks ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated last month
• hasherezade / pin_n_sieve
  An experimental dynamic malware unpacker based on Intel Pin and PE-sieve
  ☆61Updated last year