sergeybratus / RE-basics-W22Links
Basics of Reverse Engineering Winter 2022
☆28Updated 3 years ago
Alternatives and similar repositories for RE-basics-W22
Users that are interested in RE-basics-W22 are comparing it to the libraries listed below
Sorting:
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- ☆30Updated 4 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆52Updated 5 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 3 weeks ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 4 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Updated 5 years ago
- function identification signatures☆12Updated 4 years ago
- Library for reading IDA Pro databases.☆29Updated 4 years ago
- ☆59Updated 2 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 4 years ago
- 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
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆45Updated 4 years ago
- x86/x64 architecture plugin☆40Updated last year
- 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
- 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
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- A common set of helpers used across VTIL toolchain. Moved into -->☆20Updated 5 years ago
- LLVM-based type and memory allocation tracking sanitizer☆55Updated last week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago
- AMD SVM hypervisor rootkit proof of concept☆47Updated 2 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- ☆31Updated 5 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated 2 years ago
- Windows API listing in JSON format - generated from SDK headers + SDK API documentation☆66Updated 5 years ago
- Hex-Rays CLI (hcli)☆27Updated last week