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
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 8 months ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- ☆59Updated 3 years ago
- Python bindings for BochsCPU☆38Updated 6 months ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 4 years ago
- A library for dynamic binary rewriting☆59Updated 5 years ago
- ☆45Updated 4 years ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 7 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months 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
- AMD SVM hypervisor rootkit proof of concept☆48Updated 2 years ago
- 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
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆24Updated 4 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 5 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 3 years ago
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 5 years ago
- ☆30Updated 5 years ago
- Dr. Disassembler☆37Updated 4 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated 2 years ago
- ☆31Updated 5 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆43Updated 2 years ago
- Example of an ELF parser to learn about the ELF format☆10Updated last year
- 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
- LLVM-based type and memory allocation tracking sanitizer☆56Updated last week
- LLVM Without The ROP Gadgets!☆25Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated 2 weeks ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago