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
• 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
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last month
• softsec-unh / MBA-Solver
  ☆43Updated 4 years ago
• williballenthin / siglib
  function identification signatures
  ☆12Updated 4 years ago
• trailofbits / magnifier
  ☆58Updated 2 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆36Updated 3 years ago
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆32Updated 2 weeks ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆34Updated last week
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• imugee / xdv
  XDV is disassembler or debugger that works based on the extension plugin.
  ☆56Updated 5 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• arnaugamez / tfg
  A copy of my Mathematics and Computer Engineering B.Sc. thesis
  ☆20Updated 4 years ago
• lifting-bits / vmill
  ☆29Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• h311d1n3r / HellTracer
  A Linux x86/x86-64 tool to trace registers and memory regions.
  ☆38Updated 3 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆21Updated 3 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
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆47Updated last month
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated this week
• billti / v8dbg
  Sample WinDbg extension
  ☆15Updated 6 years ago
• Colton1skees / WinTTD
  Reverse engineered API for Microsoft's Time Travel Debugger
  ☆34Updated last year
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated 2 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 6 years ago
• nccgroup / obfuscation-snippets
  ☆24Updated 3 years ago