ibabushkin / hapstoneLinks
Capstone bindings for Haskell: https://github.com/aquynh/capstone
☆15Updated 4 years ago
Alternatives and similar repositories for hapstone
Users that are interested in hapstone are comparing it to the libraries listed below
Sorting:
- Allows to execute haskell code in Ida Pro.☆27Updated 9 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- A library for disassembling x86-64 binaries.☆41Updated last month
- A library for binary analysis and rewriting☆47Updated last year
- Parser for the llvm bitcode format☆59Updated 2 months ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated last month
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated this week
- An experimental grammar fuzzer in Haskell using QuickCheck☆201Updated 5 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- The BAP tutorial☆72Updated 2 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- An opinionated tool to create amazing presentations☆36Updated 2 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 11 years ago
- rune - radare2 based symbolic emulator☆27Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- A Haskell parser for JVM bytecode files☆38Updated last year
- Pretty printer for LLVM AST to Textual IR☆68Updated 3 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆51Updated 4 months ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated this week
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 6 years ago