aengelke / raspsim
Cycle-accurate X86-64 simulator based on PTLsim
☆29Updated last year
Related projects ⓘ
Alternatives and complementary repositories for raspsim
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- A library for dynamic binary rewriting☆57Updated 3 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆15Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 5 months ago
- reverse engineering branch predictors☆17Updated 8 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆28Updated 4 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆41Updated this week
- Fork of LLVM for demonstrating optimization pass development☆29Updated last year
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆32Updated 10 months ago
- ☆27Updated last week
- NOVA userland☆48Updated 10 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 3 years ago
- Fork of LLVM adding CHERI support☆49Updated this week
- EFI Byte Code Virtual Machine in userspace☆77Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- VSCode extension for the LLVM IR language☆59Updated 5 months ago
- Automatic Binary Parallelisation☆37Updated last year
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 7 years ago
- High-speed lossless data compression of 16 to 512 bytes--get better average compression than QuickLZ for 512-byte blocks. td512 maintains…☆22Updated 2 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 3 months ago
- x86 Instruction Encoding Tutorial☆21Updated 9 years ago
- XML representation of the x86 instruction set☆27Updated 2 years ago
- Turn an interpreter into a code generator☆29Updated 9 years ago