sergeybratus / RE-basics-W22
Basics of Reverse Engineering Winter 2022
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for RE-basics-W22
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆25Updated this week
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 3 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- function identification signatures☆11Updated 3 years ago
- AMD SVM hypervisor rootkit proof of concept☆42Updated last year
- Dr. Disassembler☆35Updated 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 last year
- Library to manipulate and create Sourcetrail databases☆17Updated 3 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- A wrapper for capstone for bearparser☆13Updated last year
- Debugger and analyzer for ARM ELF executables.☆18Updated 2 years ago
- ☆39Updated 3 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- LLVM based devirtualization PoC’s.☆20Updated 2 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 4 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- ☆17Updated 2 years ago
- Ditto.☆16Updated 4 years ago
- A coverage-based software testing tool☆29Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago