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
• softsec-unh / MBA-Solver
  ☆44Updated 4 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆50Updated 3 months 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
• 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
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆33Updated 2 months ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆42Updated 2 years ago
• arnaugamez / tfg
  A copy of my Mathematics and Computer Engineering B.Sc. thesis
  ☆20Updated 4 years ago
• suibex / donna
  Debugger and analyzer for ARM ELF executables.
  ☆19Updated 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated this week
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago
• compilers-wiki / compilers-wiki
  Wiki pages for compiler technologies https://compilers.wiki
  ☆24Updated 2 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated last month
• 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
• h311d1n3r / HellTracer
  A Linux x86/x86-64 tool to trace registers and memory regions.
  ☆39Updated 3 years ago
• Fare9 / elfparser_e
  Example of an ELF parser to learn about the ELF format
  ☆10Updated 11 months ago
• trailofbits / magnifier
  ☆58Updated 2 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated 2 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆36Updated 2 weeks ago
• meme / sumo
  Binary Ninja MLIL to LLVM IR lifter
  ☆15Updated 4 years ago
• williballenthin / siglib
  function identification signatures
  ☆12Updated 4 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• tpn / windows-nt-file-system-internals-book
  Source code on the 1.44MB 3.5 floppy accompanying the Windows NT File System Internals book.
  ☆17Updated 6 years ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 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
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago