HEAPLab / ASPISLinks
Automatic Software-based Protection and Integrity Suite
☆17Updated 2 months ago
Alternatives and similar repositories for ASPIS
Users that are interested in ASPIS are comparing it to the libraries listed below
Sorting:
- LLVM-based type and memory allocation tracking sanitizer☆55Updated last week
- NVidia sass disassembler/inline patcher☆30Updated this week
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Updated this week
- A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.☆34Updated 2 years ago
- A binary optimization/specialization library supporting multiple rewriters☆116Updated 4 years ago
- Tutorial for writing an LLVM backend☆27Updated 5 months ago
- binary->LLVM->circuits☆19Updated last year
- ☆48Updated 2 months ago
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 4 months ago
- ☆13Updated 2 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆20Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- Minimal header-only C++11 argument parser library for simple command line tools.☆25Updated 9 months ago
- ☆15Updated last month
- Disarm — Fast AArch64 Decode/Encoder☆42Updated 10 months ago
- A benchmark game for guessing the hottest point of a program☆16Updated 3 weeks ago
- ☆23Updated 2 years ago
- Self-hosting binary instrumentation framework for security research☆12Updated 2 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated 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 Without The ROP Gadgets!☆26Updated last year
- Standalone API for Binary Ninja's LLIL☆19Updated last year
- Fork of LLVM for demonstrating optimization pass development☆30Updated 2 years ago
- Compile-time Evaluable SHA3: Permutation-Based Hash and Extendable-Output Functions☆13Updated 3 weeks ago
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Updated 2 years ago
- Static analysis of semantic differences in kernel versions☆40Updated 2 weeks ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated last year
- LLVM JIT: An Example☆17Updated 5 years ago
- RISC-V Disassembler☆18Updated 5 years ago