LouisJenkinsCS / LLVM-Simple-GUI
A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees and post-dominator trees, and more!
☆14Updated 6 years ago
Alternatives and similar repositories for LLVM-Simple-GUI:
Users that are interested in LLVM-Simple-GUI are comparing it to the libraries listed below
- A library for dynamic binary rewriting☆57Updated 4 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- VSCode extension for the LLVM IR language☆61Updated 11 months ago
- TracerX Symbolic Virtual Machine☆33Updated last week
- Pretty printer from GTIRB to assembly code☆48Updated last month
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- ☆19Updated 6 years ago
- ☆13Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- A binary to LLVM translator☆149Updated 6 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 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 2 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆31Updated 10 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆129Updated this week
- llvm crash analysis☆43Updated 10 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆135Updated last year
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆23Updated 2 years ago
- Binary Translator to LLVM IR☆49Updated 7 years ago
- llvm with tablegen backend for capstone disassembler☆48Updated last month
- 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
- Parser for the llvm bitcode format☆59Updated last month
- Synthesis of loop-free programs☆16Updated last week
- Decompiler of LLVM bitcode to C☆88Updated last year
- Data Flow Analysis and Static Single Assignment☆29Updated 7 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago