Baltoli / accsyntLinks
Program synthesis tools and utilities for LLVM.
☆20Updated 2 years ago
Alternatives and similar repositories for accsynt
Users that are interested in accsynt are comparing it to the libraries listed below
Sorting:
- ☆23Updated 2 years ago
- Synthesis of loop-free programs☆20Updated this week
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 3 months ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆19Updated last year
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 4 months ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- ☆31Updated 5 years ago
- Visualization of LLVM IR☆60Updated 11 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- binary->LLVM->circuits☆19Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆30Updated 2 years ago
- LLVM-based type and memory allocation tracking sanitizer☆54Updated last month
- Fork of LLVM for demonstrating optimization pass development☆30Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Updated 5 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- ☆44Updated 4 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆17Updated 2 years ago
- TracerX Symbolic Virtual Machine☆33Updated last week
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Updated 7 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
- Automatic Binary Parallelisation☆43Updated 6 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆63Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- E-Graph library☆17Updated last year
- ☆15Updated 6 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated 2 years ago