Baltoli / accsynt
Program synthesis tools and utilities for LLVM.
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for accsynt
- ☆21Updated last year
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 4 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 4 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- Automatic Binary Parallelisation☆36Updated last year
- Fork of LLVM for demonstrating optimization pass development☆29Updated last year
- A library for dynamic binary rewriting☆57Updated 3 years ago
- Synthesis of loop-free programs☆14Updated this week
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆17Updated 6 years ago
- Basic Block Trace: DynamoRIO client☆25Updated 2 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
- SMT solver for the theory of floating-point arithmetic☆25Updated 6 years ago
- TSAR (Traits Static AnalyzeR)☆14Updated 6 months ago
- ☆30Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆38Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- ☆19Updated 6 years ago
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Updated 6 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated last year
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- ☆15Updated 5 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Securing Data Analytics on Intel SGX using Randomization☆12Updated 7 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago